Annotation on Verus-Bench full 150 tasks
149Pass CountIDS
Evaluation results
| Method | Links | |
|---|---|---|
| IDSmodality=proof-only, component=DSA2026.05 | 149 | |
| Codexmodality=proof-only2026.05 | 148 | |
| Claude Codemodality=proof-only2026.05 | 148 | |
| AutoVerusmodality=proof-only2026.05 | 137 |