1 paper
Ivan Moshkov, Darragh Hanley, Ivan Sorokin +5
This paper presents our winning submission to the AI Mathematical Olympiad - Progress Prize 2 (AIMO-2) competition. Our recipe for building state-of-the-art mathematical reasoning…