Mirek Olsák

11 papers A* 1A 1B 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
LLM2SMT: Building an SMT Solver with Zero Human-Written Code.
CoRR
Mikolás Janota, Mirek Olsák
2025 A conf
SMT and Functional Equation Solving over the Reals: Challenges from the IMO.
CADE
Chad E. Brown, Karel Chvalovský, Mikolás Janota, Mirek Olsák, Stefan Ratschan
2025 J jnl
SMT and Functional Equation Solving over the Reals: Challenges from the IMO.
CoRR
Chad E. Brown, Karel Chvalovský, Mikolás Janota, Mirek Olsák, Stefan Ratschan
2024 A* conf
Graph2Tac: Online Representation Learning of Formal Math Concepts.
ICML
Lasse Blaauwbroek, Mirek Olsák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
2024 — conf
Symbolic Computation for All the Fun.
PAAR+SC²@IJCAR
Chad E. Brown, Mikolas Janota, Mirek Olsák
2024 J jnl
Symbolic Computation for All the Fun.
CoRR
Chad E. Brown, Mikolás Janota, Mirek Olsák
2024 — conf
The IMO Small Challenge: Not-Too-Hard Olympiad Math Datasets for LLMs.
Tiny Papers @ ICLR
Simon Frieder, Mirek Olsák, Julius Berner, Thomas Lukasiewicz
2023 B conf
MizAR 60 for Mizar 50.
ITP
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
2023 J jnl
MizAR 60 for Mizar 50.
CoRR
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
2021 J jnl
Planning from Pixels in Environments with Combinatorially Hard Search Spaces.
CoRR
Marco Bagatella, Mirek Olsák, Michal Rolínek, Georg Martius
2018 J jnl
Reinforcement Learning of Theorem Proving.
CoRR
Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olsák