Proof Verification on CoqStoq 100 hardest tasks
97Pass CountIDS
Evaluation Results
| Method | Links | |
|---|---|---|
| IDSmodality=proof-only, component=DSA2026.05 | 97 | |
| Claude Codemodality=proof-only2026.05 | 51 | |
| Codexmodality=proof-only2026.05 | 46 | |
| Rangomodality=proof-only2026.05 | 28 |