An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics
arXiv:2609.10712v1 Announce Type: new Abstract: We study how model posttraining and testtime inference design affect naturallanguage proof generation for hard olympiad mathematics.
