SciR - Deduction Hard: leaderboard
Accuracy on the 200 hard deduction tasks over developmental-biology lineage syllogisms with three-way answers, written as plain natural-language premises, from SciR (2026), a scientific-reasoning benchmark generated from formal objects. The model reasons by chain of thought at temperature 0 and answers are checked against the generating object. Higher is better.
Metric: Accuracy (%) on the 200 hard-tier SciR deduction tasks (deduction over developmental-biology lineage syllogisms (3-way answer)), rendered as plain natural-language premises (NL); the model reasons with chain-of-thought directly from the task text, temperature 0; answers are checked against the generating formal object; higher is better. Source: arxiv.org. Saturation forecast: Estimated already saturated. 6 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | DeepSeek R1 | 93 | #473 |
| 2 | Qwen 3 30B A3B 2507 Instruct | 80 | #1089 |
| 3 | GPT-4o | 54 | #741 |
| 4 | O3 Mini | 52.5 | #533 |
| 5 | OLMo 3.1 32B Instruct | 49.5 | #2384 |
| 6 | Llama 3.3 70B Instruct | 42.5 | #1357 |
No result here: #1 Claude Fable 5.2, #2 Gemini 4 Carbon, #5 Claude Opus 5.5.
Interactive version: theaggregate.ai/benchmark?slug=scir-deduction-hard · How It Works · Data refreshed daily, snapshot 2026-11-13.