Miklós Z Horváth
2PUBLICATIONS
24CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (2)
Sort by Publication Date:
|Nov 12, 2025
Olympiad-level formal mathematical reasoning with reinforcement learning.Thomas Hubert, Rishi Mehta, Laurent Sartran
Pageof 1
Frequent Collaborators
2 joint publications
Thomas Hubert
2 joint publications
Eric Wieser
2 joint publications
Pushmeet Kohli
1 joint publications
Laurent Sartran
1 joint publications
Ottavia Bertolli
1 joint publications
Oliver Nash
1 joint publications
Paul Lezeau
1 joint publications
Salvatore Mercuri
1 joint publications
Calle Sönne
1 joint publications
Alex Davies