GR-Ben (Thinking) - Deductive Reasoning: leaderboard
Metric: F1 (%) of first-error identification: the harmonic mean of the accuracy on flawed solutions (the earliest erroneous step named) and the accuracy on fully correct solutions (judged correct), on the 410 deductive-reasoning problems (FOLIO) of GR-Ben (3,595 human-annotated solutions written by 15 LLMs); LLMs prompted as critics with slow thinking enabled (GPT-5.2 at xhigh and Gemini 3 Flash at high reasoning effort, 32,768 output tokens); higher is better. Source: arxiv.org. Saturation forecast: Around 2032. 7 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Gemini 3 Flash (High) | 47 |
| 2 | DeepSeek V3.2 (Thinking) | 41 |
| 3 | Qwen 3 14B | 40.2 |
| 4 | GPT-5.2 (xHigh) | 39.9 |
| 5 | Qwen 3 32B | 39.4 |
| 6 | Qwen 3 8B | 36 |
| 7 | Qwen 3 4B | 25 |
Interactive version: theaggregate.ai/benchmark?slug=gr-ben-thinking-deductive-reasoning · How It Works · Data refreshed daily, snapshot 2026-10-07.