IMO-ProofBench
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Mathematical Proof Reasoning | IMO-ProofBench Advanced (full set) | Mask-Proof Average@458.6 | 14 | |
| Proof writing | IMO-ProofBench | Avg@3 Grade Score58.7 | 11 | |
| Mathematical Proof | IMO-ProofBench Basic, Advanced, Overall | Advanced Score91.9 | 9 | |
| Mathematical Proof Reasoning | IMO-ProofBench-Advanced USAMO 2025 (5 problems) | Mask-Proof Avg@490 | 7 | |
| Mathematical Proof Reasoning | IMO-ProofBench-Advanced Novel (22 problems) | Mask-Proof Avg@455.7 | 7 | |
| Mathematical Reasoning | IMO ProofBench | Pass@1 Score72.9 | 1 |
Showing 6 of 6 rows