AlphaNeural
imo_2025 – Dataset by MathArena | AlphaNeural AI