MMLU-by-task - Formal Logic: leaderboard
The "Formal Logic" subtask of MMLU-by-task. A single MMLU subject, reporting per-task multiple-choice accuracy from the MMLU-by-task leaderboard across a wide range of academic and professional domains.
Metric: Accuracy (%). Source: huggingface.co. Saturation forecast: Estimated already saturated. 1257 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Llama 2 70B Chat | 55.56 | #1237 |
| 2 | StableBeluga2 | 50 | #1078 |
| 3 | Llama 2 70B Base | 47.62 | #1025 |
| 4 | WizardLM-70B-V1.0 | 46.83 | #1236 |
| 5 | Xwin-LM-70B-V0.1 | 45.24 | #982 |
| 6 | Mistral-7B-v0.1 | 41.27 | #1326 |
| 7 | Llama 2 70B Chat (HF) | 41.27 | #1264 |
| 8 | Nous-Hermes-13B | 38.89 | #1468 |
| 9 | vicuna-13B-v1.3 | 37.3 | #1447 |
| 10 | vicuna-13B-v1.5 | 37.3 | #1392 |
| 11 | vicuna-33B-v1.3 | 37.3 | #1347 |
| 12 | internlm-20B | 37.3 | #1296 |
| 13 | trurl-2-7B | 36.51 | #1494 |
| 14 | vicuna-13B | 35.71 | #1469 |
| 15 | OpenHermes-13B | 35.71 | #1393 |
No result here: #3 Claude Opus 5.5, #6 GPT-6 Astra, #7 GPT-6.1 Sol.
Interactive version: theaggregate.ai/benchmark?slug=mmlu-by-task-formal-logic · How It Works · Data refreshed daily, snapshot 2026-10-20.