11 citations · 13 across the 10 of their papers we have counts for
1 paper · 2 filters
Ivan Moshkov, Stephen Ge, George Armstrong +3
We study how model post-training and test-time inference design affect natural-language proof generation for hard olympiad mathematics. Starting from Nemotron 3 Ultra, we train two…