Mirek Olsk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | SMT and Functional Equation Solving over the Reals: Challenges from the IMO. | Chad E. Brown, Karel Chvalovsk, Mikols Janota, Mirek Olsk, Stefan Ratschan |
| 2024 | ICLR | The IMO Small Challenge: Not-Too-Hard Olympiad Math Datasets for LLMs. | Simon Frieder, Mirek Olsk, Julius Berner, Thomas Lukasiewicz |
| 2024 | ICML | Graph2Tac: Online Representation Learning of Formal Math Concepts. | Lasse Blaauwbroek, Mirek Olsk, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun |
| 2023 | ITP | MizAR 60 for Mizar 50. | Jan Jakubuv, Karel Chvalovsk, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsk, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban |