math-olympiad

To verify a mathematical proof, provide the solution to the Skill along with a clean proof containing clear statements of assumptions and claims. It uses adversarial verification to check correctness and returns a calibrated confidence level.

Adversarial verification is a method that uses a fresh-context verifier to catch errors missed by standard self-verification. It checks mathematical solutions against specific failure patterns to ensure proof correctness and completeness.

Yes, batch verification of multiple problems is supported. Each problem receives its own dedicated verification workflow to independently assess mathematical correctness and generate confidence levels.

Your mathematical proof requires a clean statement of assumptions and claims. Providing a clear and structured proof allows the adversarial verifier to accurately assess correctness and identify specific failure patterns.

Yes, mathematical proof verification supports competition problems like IMO, Putnam, USAMO, and AIME. It rigorously checks your solutions using multiple verification passes to ensure mathematical correctness.

A confidence level provides a calibrated measure of your mathematical solution's correctness after adversarial verification. It helps you understand the reliability of the proof based on whether specific failure patterns were detected.