Updated daily at 05:00 UTC
Benchmark
IMO-ProofBench (Advanced)
Measures: Olympiad-level (IMO) proof-writing problems; each written proof is graded 0-7 by human experts and the score is the percentage of total possible points on the Advanced subset.
- Maintainer
- Google DeepMind (IMO-Bench)
- Introduced
- 2025
- Status
- Active
- Saturation
- Saturated
- Typical provenance
- Independent
- In scoring set
- No
Leaderboard
Independent and third-party results only.
No independent or third-party results yet. Show all results