Dafny Code Synthesis on APPS Vericoding-derived (test)
83Pass Rate
Model union
Updated 2d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.05 | 83 | |
2026.05 | 71.6 | |
2026.05 | 66.6 | |
2026.05 | 36.9 |
Model union
| Method | Links | |
|---|---|---|
2026.05 | 83 | |
2026.05 | 71.6 | |
2026.05 | 66.6 | |
2026.05 | 36.9 |