Dafny Code Synthesis on Dafny Benchmark Overall Vericoding (aggregate)
82.2Pass Rate
Model union
Updated 2d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.05 | 82.2 | |
2026.05 | 67.5 | |
2026.05 | 66.9 | |
2026.05 | 38.2 |
Model union
| Method | Links | |
|---|---|---|
2026.05 | 82.2 | |
2026.05 | 67.5 | |
2026.05 | 66.9 | |
2026.05 | 38.2 |