Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline

Yichen Huang, Lin F. Yang

I think this approach is quite interesting and should serve a good foundational approach for building very strong solvers across multiple domains, particularly those requiring high quality reasoning.

Generate → Verify → Fix → Repeat Until “Convergence” or Failure