MIRA-Math (Four-shot): leaderboard
Metric: Final-answer accuracy (%; exact verifier match; four-shot prompt with examples of valid minimal requests; 2,310 generated instances from 22 typed families, one hidden atomic fact per instance, request budget 3/6/9 by difficulty, fixed gpt-4o-mini responder, temperature 0, single pass; fraction x100). Source: arxiv.org. Saturation forecast: Around December 2026. 6 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Gemma 4 31B (IT) | 71 |
| 2 | GPT-5.1 | 68.7 |
| 3 | Grok 4.20 | 48.3 |
| 4 | Gemini 2.5 Flash | 32.8 |
| 5 | GPT-4o Mini | 23.3 |
Interactive version: theaggregate.ai/benchmark?slug=mira-math-four-shot · How It Works · Data refreshed daily, snapshot 2026-09-29.