VeriContest - CodeGen (Natural Language and Specification): leaderboard
Metric: Code generation pass@1 (%) from the natural-language description plus the ground-truth Verus specification (nl_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 | Gemini 3.1 Pro (Preview) | 77.7 |
| 2 | Claude Sonnet 4.6 | 75.59 |
| 3 | GPT-5.5 | 74.52 |
| 4 | Claude Opus 4.7 | 72.3 |
| 5 | DeepSeek V4 Pro | 67.44 |
| 6 | DeepSeek V4 Flash | 60.19 |
| 7 | GPT-5.4 Mini | 58.14 |
| 8 | Qwen 3.6 27B | 48.94 |
| 9 | Gemini 3 Flash (Preview) | 34.99 |
| 10 | GLM-4.7 Flash | 21.46 |
Interactive version: theaggregate.ai/benchmark?slug=vericontest-codegen-natural-language-and-specification · How It Works · Data refreshed daily, snapshot 2026-10-07.