AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset. - Ivan Moshkov; Darragh Hanley; Ivan Sorokin; Shubham Toshniwal; Christof Henkel; Benedikt Schifferer; Wei Du; Igor Gitman (CoRR, 2025)