AlgoVeri (Verus): leaderboard
Metric: Full-mark rate (%) on AlgoVeri's 77 classical-algorithm vericoding problems in Verus: the implementation and proof must verify against the fixed specification within a 15-round compiler-feedback repair budget and pass an LLM semantic filter that rejects specification gaming; single attempt (open-weight rows are the mean of 10 independent attempts); higher is better. Source: arxiv.org. Saturation forecast: Around February 2028. 7 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Gemini 3 Flash (Preview) | 24.68 | #78 |
| 2 | Qwen 3 235B A22B 2507 Instruct | 9.09 | #291 |
| 3 | Devstral 2 | 7.27 | #394 |
| 4 | GPT-OSS-120B | 7.01 | #330 |
| 5 | Qwen 3 Next 80B A3B (Thinking) | 6.49 | #306 (Qwen 3 Next 80B A3B) |
| 6 | GPT-5 Mini (2025-08-07) | 6.49 | #165 |
No result here: #3 Claude Opus 5.5, #5 GPT-6 Astra, #8 Claude Fable 5.1.
Interactive version: theaggregate.ai/benchmark?slug=algoveri-verus · How It Works · Data refreshed daily, snapshot 2026-10-11.