Mirek Olsák

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Imperative Programs

Theorem Proving

Computer Assisted

Top Venues

PAAR+SC²@IJCAR

Tiny Papers @ ICLR

Publications

Simon Frieder, Mirek Olsák, Julius Berner, Thomas Lukasiewicz
The IMO Small Challenge: Not-Too-Hard Olympiad Math Datasets for LLMs. Tiny Papers @ ICLR (2024)
Chad E. Brown, Mikolás Janota, Mirek Olsák
Symbolic Computation for All the Fun. CoRR (2024)
Chad E. Brown, Mikolas Janota, Mirek Olsák
Symbolic Computation for All the Fun. PAAR+SC²@IJCAR (2024)
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. CoRR (2023)
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. ITP (2023)
Marco Bagatella, Mirek Olsák, Michal Rolínek, Georg Martius
Planning from Pixels in Environments with Combinatorially Hard Search Spaces. CoRR (2021)
Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olsák
Reinforcement Learning of Theorem Proving. CoRR (2018)