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

Paper Official leaderboard

Leaderboard

Show independent results only

Every result we hold, whoever ran it. Only independent and third-party rows count towards a score.

No results to show.