M2-Verify-Gen - Mathematics: leaderboard
Metric: Macro-F1 (%) of binary claim consistency verification on the Mathematics (math) questions of the M2-Verify-Gen test set, zero-shot; higher is better. Source: arxiv.org. Saturation forecast: Estimated already saturated. 6 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Qwen 2.5 VL 7B Instruct | 65.4 |
| 2 | InternVL3-8B | 61.8 |
| 3 | Mistral Small 3.1 | 50.8 |
| 4 | Phi-4 Multimodal Instruct | 44.8 |
| 5 | Pixtral-12B | 42.9 |
Interactive version: theaggregate.ai/benchmark?slug=m2-verify-gen-mathematics · How It Works · Data refreshed daily, snapshot 2026-10-07.