RTL-BenchLS - Repository-Issue Reasoning: leaderboard
Metric: Functional pass rate (%) on repository-issue reasoning on 108 real issue-fix pairs: from the repository context, the issue report and the buggy design (the simplified setting with the bug location given) the model writes a fix that must be formally equivalent to the developer's patch; functional pass rate (%; output formally equivalent to the golden design, Cadence Conformal LEC for combinational and JasperGold SEC for sequential designs), temperature 0.2; higher is better. Source: arxiv.org. Saturation forecast: Around 2032. 8 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | DeepSeek V3.2 | 12 |
| 2 | Llama 3.3 70B Instruct | 8.3 |
| 3 | GPT-4o | 6.3 |
| 4 | Claude Sonnet 4.5 | 5.6 |
| 5 | Qwen 3.5 397B A17B | 4.6 |
| 6 | GPT-4o Mini | 4 |
| 7 | Claude Haiku 4.5 | 3.7 |
Interactive version: theaggregate.ai/benchmark?slug=rtl-benchls-repository-issue-reasoning · How It Works · Data refreshed daily, snapshot 2026-09-29.