MMLU-by-task - Formal Logic: leaderboard
Metric: Accuracy (%). Source: huggingface.co. 1257 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Llama 2 70B Chat | 55.56 |
| 2 | Llama 2 70B Base | 47.62 |
| 3 | LLaMA-65B | 43.65 |
| 4 | Llama 2 70B Chat (HF) | 41.27 |
| 5 | Mistral-7B-v0.1 | 41.27 |
| 6 | vicuna-13B-v1.3 | 37.3 |
| 7 | vicuna-13B-v1.5 | 37.3 |
| 8 | vicuna-33B-v1.3 | 37.3 |
| 9 | trurl-2-7B | 36.51 |
| 10 | LLaMA-30B | 35.71 |
| 11 | vicuna-13B | 35.71 |
| 12 | ChatGLM2 6B | 34.92 |
| 13 | mpt-30B Instruct | 34.92 |
| 14 | CodeLlama-34B-Python-hf | 34.92 |
| 15 | vicuna-7B-v1.3 | 34.13 |
Interactive version: theaggregate.ai/benchmark?slug=mmlu-by-task-formal-logic · How It Works · Data refreshed daily, snapshot 2026-09-05.