math-olympiad

Adversarial verification catches proof errors by applying counterexamples and auditing to competition math problems. It interprets the problem, generates candidate solutions, and performs adversarial checks to ensure mathematical accuracy before presentation.

Yes, the solver supports IMO, Putnam, USAMO, and AIME-style competition math problems. It handles problem interpretation, candidate generation, and adversarial verification tailored specifically to these olympiad formats.

Yes, the adversarial verification workflow generates LaTeX-ready, presentation-quality outputs for verified solutions. After completing the checks, it formats the final proof for direct presentation use.

Provide a problem statement to initiate the solver and trigger the full adversarial verification workflow. The process automatically runs end-to-end through interpretation, candidate generation, clean extraction, and verification.

Adversarial verification improves proof checking by actively generating counterexamples and auditing reasoning, catching logical errors that standard self-verification methods typically miss in olympiad solutions.