Code Verification on DAFNYBENCH
372Success CountSolver backed
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Solver backedPrompting Strategy=Functional, Setting=pass@52025.11 | 372 | — | 7.3 | |
| Solver backedPrompting Strategy=Direct, Setting=pass@52025.11 | 315 | — | — |
Loading the SOTA2 catalog…