RankingFrontierMath Erdős
FrontierMath Erdős
- Bucket
- Supporting evidence
- Unit
- percent
- Direction
- Higher is better
- Version
- unversioned
- Display harness
- FrontierMath Erdős proof scorer
- Board
- https://epoch.ai/benchmarks/frontiermath-erdos
FrontierMath Erdős records Lean proof accuracy on 68 conjectures. These rows are display only. They stay outside weighted Overall and outside the FrontierMath tier family budget.
Compare published benchmark results with category weights →
Models
451–460 of 460 entries
| Model | Score | Evidence | Source-recorded date |
|---|---|---|---|
| Tiny Aya EarthCohere | — | — | — |
| Tiny Aya FireCohere | — | — | — |
| Tiny Aya GlobalCohere | — | — | — |
| Tiny Aya WaterCohere | — | — | — |
| visualglm-6bZ.ai | — | — | — |
| Voxtral MiniMistral | — | — | — |
| Voxtral SmallMistral | — | — | — |
| WeDLM-7B-InstructTencent | — | — | — |
| WeDLM-8B-InstructTencent | — | — | — |
| Youtu-LLM-2BTencent | — | — | — |