Tomasz Odrzygóźdź
5 papers · 2021–2024 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Keywords
subgoal search
(2)
mixture of expert
(2)
hierarchical planning
(1)
puzzle solving
(1)
autoregressive generation
(1)
best-first search
(1)
language model
(1)
scaling law
(1)
automated theorem proving
(1)
search algorithm
(1)
premise selection
(1)
parameter scaling
(1)
planning horizon
(1)
model size
(1)
adaptive planning
(1)
interactive theorem prover
(1)
automated theorem prover
(1)
hammer method
(1)
training token
(1)
continuous moe
(1)
Papers
Mixture of Tokens: Continuous MoE through Cross-Example Aggregation
NeurIPS 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
NeurIPS 2022
Subgoal Search For Complex Reasoning Tasks
NeurIPS 2021