Code + Proof Evaluation on AlgoVeri
0.8442Pass CountIDS
Evaluation results
| Method | Links | |
|---|---|---|
| IDSmodality=concurrent code-and-proof2026.05 | 0.8442 | |
| Claude Codemodality=concurrent code-and-proof2026.05 | 0.7273 | |
| Codexmodality=concurrent code-and-proof2026.05 | 0.6623 | |
| Prior SOTAmodality=concurrent code-and-proof2026.05 | 0.4026 |