IMO-ProofBench
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Proof writing | IMO-ProofBench | Avg@3 Grade Score58.7 | 11 | |
| Mathematical Proof | IMO-ProofBench Basic, Advanced, Overall | Advanced Score91.9 | 9 | |
| Mathematical Reasoning | IMO ProofBench | Pass@1 Score72.9 | 1 |
Showing 3 of 3 rows