IMO-ProofBench
Benchmarks
TaskDatasetSOTA resultTrendResults
IMO-ProofBench Advanced (full set)
58.6Mask-Proof Average@4
14
IMO-ProofBench
58.7Avg@3 Grade Score
11
IMO-ProofBench Basic, Advanced, Overall
91.9Advanced Score
9
IMO-ProofBench-Advanced USAMO 2025 (5 problems)
90Mask-Proof Avg@4
7
IMO-ProofBench-Advanced Novel (22 problems)
55.7Mask-Proof Avg@4
7
IMO ProofBench
72.9Pass@1 Score
1