Code Evaluation on CloverBench
62Pass CountCodex
Evaluation results
| Method | Links | |
|---|---|---|
| Codexmodality=concurrent code-and-proof2026.05 | 62 | |
| Claude Codemodality=concurrent code-and-proof2026.05 | 62 | |
| IDSmodality=concurrent code-and-proof2026.05 | 62 |
| Method | Links | |
|---|---|---|
| Codexmodality=concurrent code-and-proof2026.05 | 62 | |
| Claude Codemodality=concurrent code-and-proof2026.05 | 62 | |
| IDSmodality=concurrent code-and-proof2026.05 | 62 |