RuleWorld - Parallel Multi-Rule (First-Order Logic): leaderboard
Metric: Exact-match accuracy (%; x100 of the 0-1 score; parallel multi-rule QA with 2 to 8 gold rules, mean of the seven rule counts, rules 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: Around December 2026. 10 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Claude Sonnet 4.6 | 91.17 |
| 2 | GPT-5.5 | 85.93 |
| 3 | DeepSeek V3.2 (Non-reasoning) | 78.21 |
| 4 | GPT-5.1 | 75.76 |
| 5 | Qwen 2.5 72B Instruct | 59.45 |
| 6 | Llama 3.1 70B Instruct | 55.71 |
| 7 | Qwen 3 32B | 53.26 |
| 8 | Qwen 2.5 32B Instruct | 50.38 |
| 9 | Llama 3.3 70B Instruct | 45.55 |
| 10 | Qwen 2.5 14B Instruct | 44.86 |
Interactive version: theaggregate.ai/benchmark?slug=ruleworld-parallel-multi-rule-first-order-logic · How It Works · Data refreshed daily, snapshot 2026-09-26.