Tomasz Odrzygóźdź
5 papers
· 2021–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
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)