CodeSpecBench-Repo: leaderboard
Metric: Pass rate (%), the share of generated executable pre/postcondition specifications that are both correct (accept every valid test) and complete (reject every invalid test), on CodeSpecBench-Repo (500 SWE-bench Verified issues; specifications injected around the issue-relevant functions, trigger tests on the fixed and buggy versions with UTBoost-augmented tests); higher is better. Source: arxiv.org. Saturation forecast: Around April 2027. 21 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Claude Sonnet 4.5 (Thinking) | 20.2 |
| 2 | Gemini 2.5 Pro | 18.2 |
| 3 | GPT-5 Mini | 9.6 |
| 4 | GPT-5 | 8.6 |
| 5 | DeepSeek V3.2 (Non-reasoning) | 6.8 |
| 6 | QwQ-32B | 3.6 |
| 7 | GPT-OSS-20B | 3.4 |
| 8 | GPT-OSS-120B | 3.2 |
| 9 | Gemini 2.5 Flash | 2.8 |
| 10 | Qwen 3 32B | 2 |
| 11 | Qwen 3 14B | 1.2 |
| 12 | Qwen 3 32B (Non-reasoning) | 1.2 |
| 13 | Qwen 3 14B (Non-reasoning) | 1.2 |
| 14 | Qwen 3 8B (Non-reasoning) | 0.8 |
| 15 | Qwen 3 4B | 0.2 |
Interactive version: theaggregate.ai/benchmark?slug=codespecbench-repo · How It Works · Data refreshed daily, snapshot 2026-10-07.