RuleWorld - Single-Rule (First-Order Logic): leaderboard
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 |
|---|---|---|
| 1 | GPT-5.5 | 98 |
| 2 | GPT-5.1 | 96 |
| 3 | Claude Sonnet 4.6 | 90 |
| 4 | DeepSeek V3.2 (Non-reasoning) | 88 |
| 5 | Llama 3.3 70B Instruct | 86 |
| 6 | Llama 3.1 70B Instruct | 86 |
| 7 | Qwen 2.5 32B Instruct | 84 |
| 8 | Qwen 2.5 72B Instruct | 72 |
| 9 | Qwen 2.5 14B Instruct | 72 |
| 10 | Qwen 3 32B | 58 |
Interactive version: theaggregate.ai/benchmark?slug=ruleworld-single-rule-first-order-logic · How It Works · Data refreshed daily, snapshot 2026-09-26.