Benchmark Radar
AI BENCHMARK PROFILE

IMOProof-Adv

General AIMathematics & Formal Sciences

IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.

Released
Unknown
Readiness
Paper only
Primary field
General AI

Primary resources

Paper ↗

Benchmark Radar records only publicly supported details and links back to primary sources for verification.