An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics
An open-model test-time-compute pipeline for natural-language proof generation for hard olympiad mathematics that operates entirely in natural language, with no formal prover, external tools, or internet access is presented.
Ivan Moshkov, Stephen Ge, George Armstrong et al.
· 0 citations