VeriContest - CodeGen (Specification): leaderboard
Metric: Code generation pass@1 (%) from the ground-truth Verus specification alone (spec2code): share of problems whose generated Rust code passes the test suites, on the 946 VeriContest competitive-programming problems (690 LeetCode, 256 Codeforces) in Rust with Verus, one-shot prompting with a Verus-Bench example, temperature 0 where the API exposes it (provider default for GPT-5.5 and Claude Opus 4.7); higher is better. Source: arxiv.org. Saturation forecast: Around January 2027. 10 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Claude Sonnet 4.6 | 74.31 |
| 2 | Gemini 3.1 Pro (Preview) | 68.18 |
| 3 | Claude Opus 4.7 | 67.76 |
| 4 | GPT-5.5 | 67.65 |
| 5 | DeepSeek V4 Pro | 62.68 |
| 6 | DeepSeek V4 Flash | 59.51 |
| 7 | GPT-5.4 Mini | 51.59 |
| 8 | Qwen 3.6 27B | 41.44 |
| 9 | Gemini 3 Flash (Preview) | 31.92 |
| 10 | GLM-4.7 Flash | 17.65 |
Interactive version: theaggregate.ai/benchmark?slug=vericontest-codegen-specification · How It Works · Data refreshed daily, snapshot 2026-10-07.