Olšák, Miroslav

4 publications

JMLR 2025 Gold-Medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, Xiaomeng Yang, Hoang H. Nguyen, Marcelo Menegali, Junehyuk Jung, Junsu Kim, Vikas Verma, Quoc V. Le, Thang Luong

NeurIPS 2021 Planning from Pixels in Environments with Combinatorially Hard Search Spaces Marco Bagatella, Miroslav Olšák, Michal Rolínek, Georg Martius

ICMLW 2021 Planning from Pixels in Environments with Combinatorially Hard Search Spaces Marco Bagatella, Miroslav Olšák, Michal Rolinek, Georg Martius

NeurIPS 2018 Reinforcement Learning of Theorem Proving Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olšák