GEB-Bench - Theorem Identification: leaderboard
Metric: Accuracy (%; 25-way, chance 4%). Source: arxiv.org. 37 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Gemini 3.1 Pro (Preview) | 92 |
| 2 | GPT-5.5 | 92 |
| 3 | Kimi K2.5 | 88 |
| 4 | Gemma 4 31B | 88 |
| 5 | GPT-5.2 | 84 |
| 6 | DeepSeek V3.2 | 84 |
| 7 | InternVL3-8B | 80 |
| 8 | Claude Opus 4.8 | 80 |
| 9 | GLM-4.6V | 80 |
| 10 | Llama 4 Scout | 76 |
| 11 | Kimi-VL-A3B | 72 |
| 12 | Qwen 2 VL 7B | 68 |
| 13 | Qwen 3 VL 4B | 60 |
| 14 | Pixtral-12B | 40 |
| 15 | ERNIE 4.5 VL 28B A3B | 20 |
Interactive version: theaggregate.ai/benchmark?slug=geb-bench-theorem-identification · How It Works · Data refreshed daily, snapshot 2026-09-19.