LogiQAte - Obfus FOL: leaderboard
Metric: Exact-match accuracy (%; first-order-logic entailment questions whose premises are rewritten into logically equivalent forms, zero-shot, temperature 0). Source: arxiv.org. Saturation forecast: Around 2029. 9 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | GPT-4o | 74 |
| 2 | Gemma 3 27B (IT) | 71 |
| 3 | Claude 3.7 Sonnet | 69 |
| 4 | Gemini 2.5 Pro | 68 |
| 5 | O4 Mini | 68 |
| 6 | Claude Haiku 4.5 | 67 |
| 7 | QwQ-32B | 61 |
| 8 | GPT-5 | 56 |
Interactive version: theaggregate.ai/benchmark?slug=logiqate-obfus-fol · How It Works · Data refreshed daily, snapshot 2026-09-26.