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

Open in new window