Olympiad-level formal mathematical reasoning with reinforcement learning.Nature, pages 1–3

Thomas Hubert, Rishi Mehta, Laurent Sartran, Miklós Z Horváth, Goran Žužić, Eric Wieser, Aja Huang, Julian Schrittwieser, Yannick Schroecker, Hussain Masoom, Ottavia Bertolli, Tom Zahavy, Amol Mandhane, Jessica Yung, Iuliya Beloshapka, Borj · 2025

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it