RuleWorld - Single-Rule (First-Order Logic): leaderboard
RuleWorld (2026) single-rule questions, where one rule yields the answer, with all 1,000 rules of the pool written in first-order logic and placed in the prompt. Exact-match accuracy in percent, with partial credit per matching answer position; higher is better.
Metric: Exact-match accuracy (%; x100 of the 0-1 score; single-rule QA, rules written in first-order logic; all 1,000 abstract, non-commonsense procedural rules of the pool prepended to the prompt (full-context prompting); exact match on the boxed answer list, partial credit per matching position; 10 questions per task type and difficulty level for each of five seeds; temperature 0 (Qwen3-32B 0.6)). Source: arxiv.org. Saturation forecast: Estimated already saturated. 10 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | GPT-5.5 (2026-04-23) | 98 | #33 |
| 2 | GPT-5.1 (2025-11-13) | 96 | #184 |
| 3 | Claude Sonnet 4.6 | 90 | #158 |
| 4 | DeepSeek V3.2 (Non-reasoning) | 88 | #403 (DeepSeek V3.2) |
| 5 | Llama 3.3 70B Instruct | 86 | #1353 |
| 6 | Llama 3.1 70B Instruct | 86 | #1541 |
| 7 | Qwen 2.5 32B Instruct | 84 | #1216 |
| 8 | Qwen 2.5 72B Instruct | 72 | #1093 |
| 9 | Qwen 2.5 14B Instruct | 72 | #1745 |
| 10 | Qwen 3 32B | 58 | #960 |
No result here: #1 Claude Fable 5.2, #2 Gemini 4 Carbon, #5 Claude Opus 5.5.
Interactive version: theaggregate.ai/benchmark?slug=ruleworld-single-rule-first-order-logic · How It Works · Data refreshed daily, snapshot 2026-11-12.