Oliver Nash
1PUBLICATIONS
12CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
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
1 joint publications
Thomas Hubert
1 joint publications
Laurent Sartran
1 joint publications
Miklós Z Horváth
1 joint publications
Eric Wieser
1 joint publications
Ottavia Bertolli
1 joint publications
Paul Lezeau
1 joint publications
Salvatore Mercuri
1 joint publications
Calle Sönne
1 joint publications
Alex Davies
1 joint publications
Edward Hughes
