LogicGraph - Family Recall: leaderboard
Metric: Family recall (%): share of the ground-truth families of derivation paths (paths sharing their inference nodes) the model reaches (the paper's Versatility) (LogicGraph: 900 natural-language first-order logic problems generated from symbolic proof DAGs with 2 to 19 valid minimal derivation paths (300 each with 2-4, 5-7 and 8 or more paths), every model prompted to write as many independent proofs as possible; each step is auto-formalized by DeepSeek-V3.2-Exp and verified with Prover9; mean of the three tiers); higher is better. Source: arxiv.org. Saturation forecast: Around January 2027. 16 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Gemini 3 Pro (Preview) | 79.44 | #64 |
| 2 | Gemini 2.5 Pro | 69.13 | #145 |
| 3 | Qwen 3 235B A22B (Thinking) | 69.12 | #304 (Qwen 3 235B A22B) |
| 4 | Gemini 2.5 Flash | 61.43 | #237 |
| 5 | DeepSeek V3.2 Exp (Thinking) | 61.02 | #227 (DeepSeek V3.2 Exp) |
| 6 | Kimi K2 (Thinking) | 44.94 | #236 (Kimi K2) |
| 7 | DeepSeek V3.2 Exp (Non-reasoning) | 31.38 | #227 (DeepSeek V3.2 Exp) |
| 8 | Claude Sonnet 4.5 (Thinking) | 30.15 | #138 (Claude Sonnet 4.5) |
| 9 | O3 | 30.02 | #121 |
| 10 | O4 Mini | 29.2 | #172 |
| 11 | QwQ-32B | 27.38 | #410 |
| 12 | Claude Sonnet 4.5 | 25.42 | #138 |
| 13 | Qwen 3 235B A22B (Non-reasoning) | 14.65 | #304 (Qwen 3 235B A22B) |
| 14 | GPT-5.1 | 9.96 | #131 |
| 15 | GLM-4.6 | 9.66 | #246 |
No result here: #3 Claude Opus 5.5, #5 GPT-6 Astra, #8 Claude Fable 5.1.
Interactive version: theaggregate.ai/benchmark?slug=logicgraph-family-recall · How It Works · Data refreshed daily, snapshot 2026-10-11.