Tomasz Odrzygóźdź
5 papers · 2021–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(3)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
NIPS (3)
ICLR (1)
ICML (1)
Top co-authors
Keywords
transformer architecture
(1)
puzzle solving
(1)
autoregressive generation
(1)
best-first search
(1)
language model
(1)
mixture of expert
(1)
automated theorem proving
(1)
search algorithm
(1)
premise selection
(1)
parameter scaling
(1)
interactive theorem prover
(1)
subgoal search
(1)
automated theorem prover
(1)
hammer method
(1)
continuous moe
(1)
cross-example aggregation
(1)
Papers
Mixture of Tokens: Continuous MoE through Cross-Example Aggregation
NIPS 2024
Scaling Laws for Fine-Grained Mixture of Experts
ICML 2024
Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
ICLR 2023
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
NIPS 2022
Subgoal Search For Complex Reasoning Tasks
NIPS 2021