Benchmark
IMOProof-Adv Benchmark
What is IMOProof-Adv?
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
- Modality
- text
- Evaluates
- math, reasoning
- Openness
- unknown
- Importer
- LLM Stats
- Reported scores
- 1
Source provenance
- Original evidence https://api.zeroeval.com/leaderboard/benchmarks/imoproof-adv?top_n=500
IMOProof-Adv results and reported scores
LLM Stats
| Model | Organization | Reported value | Reported | Evidence |
|---|---|---|---|---|
| Seed 2.1 Pro | ByteDance | 0.543 | 2026-06-24 | evidence |
Scores are partitioned by the source that reported them and are never merged into a single cross-source ranking, because the sources measure different things and say so.