IMO
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Euclidean geometry problem solving | IMO-30 | Solved Problems30 | 19 | |
| Euclidean geometry problem solving | IMO-95 | Solved Problems63 | 15 | |
| Mathematical Problem Solving | IMO non-geometric parts 2025 | Pass@426 | 8 | |
| Competition Mathematics | IMO (test) | Efficiency Ratio0.52 | 4 | |
| Geometry Theorem Proving | IMO-30 (test) | Solved Problems28 | 4 | |
| Integer Programming | IMO6 | SGM Score (g=10^-5)1.23 | 1 | |
| Mathematical Problem Solving | IMO 2025 | Points83.3 | 1 | |
| Geometry Problem Solving | IMO 50 2000-2024 (test) | Metric- | 0 |
Showing 8 of 8 rows