OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Mirek Olšák
Joined
September 2021
Names
Mirek Olšák
(Preferred)
,
Miroslav Olšák
Emails
****@olsak.net
(Confirmed)
Personal Links
Homepage
Career & Education History
Postdoc
University of Cambridge
(cam.ac.uk)
2023
–
2025
Postdoc
L'Institut des Hautes Études Scientifiques
(ihes.fr)
2021
–
2023
Postdoc
Universität Innsbruck
(uibk.ac.at)
2019
–
2021
PhD student
Faculty of Mathematics and Physics, Charles University, Prague
(mff.cuni.cz)
2015
–
2019
Advisors, Relations & Conflicts
No relations added
Expertise
No areas of expertise listed
Publications
Graph2Tac: Online Representation Learning of Formal Math Concepts
Lasse Blaauwbroek
,
Mirek Olšák
,
Jason Rute
,
Fidel Ivan Schaposnik Massolo
,
Jelle Piepenbrock
,
Vasily Pestun
ICML 2024 Poster
Readers:
Everyone
The IMO Small Challenge: Not-Too-Hard Olympiad Math Datasets for LLMs
Simon Frieder
,
Mirek Olšák
,
Julius Berner
,
Thomas Lukasiewicz
Tiny Papers @ ICLR 2024 Present
Readers:
Everyone
Graph2Tac: Learning hierarchical representations of math concepts in theorem proving
Jason Rute
,
Miroslav Olšák
,
Lasse Blaauwbroek
,
Fidel Ivan Schaposnik Massolo
,
Jelle Piepenbrock
,
Vasily Pestun
Submitted to ICLR 2024
Readers:
Everyone
Co-Authors
Fidel Ivan Schaposnik Massolo
Jason Rute
Jelle Piepenbrock
Julius Berner
Lasse Blaauwbroek
Simon Frieder
Thomas Lukasiewicz
Vasily Pestun