Proof on CodeProps mini sorting
100Pass CountIDS
Evaluation Results
| Method | Links | |
|---|---|---|
| IDSmodality=proof-only, component=DSA2026.05 | 100 | |
| Claude Codemodality=proof-only2026.05 | 86 | |
| Codexmodality=proof-only2026.05 | 80 | |
| COPRAmodality=proof-only2026.05 | 49 |
Loading the SOTA2 catalog…