← Benchmarks
IMOProof-Adv
IMOProof-Adv is an advanced benchmark of International Mathematical Olympiad-style proof problems requiring rigorous multi-step mathematical proofs.
id imoproof-adv · max 1 · 1 models reported
| # | Model | Score |
|---|
No scores for this benchmark yet.