3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…