Dafny Program Verification on HumanEvalDafny (test)
97Verification Success Rate (NoDiff)
SEVerA
Updated 23d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.03 | 97 | 97 | 0 | 18.2 | |
2026.03 | 86.9 | 87.9 | 4 | 16.1 | |
2026.03 | 84.8 | 88.9 | 5.1 | 15.7 | |
2026.03 | 73.7 | 76.8 | 8.1 | 9.8 |
SEVerA
| Method | Links | ||||
|---|---|---|---|---|---|
2026.03 | 97 | 97 | 0 | 18.2 | |
2026.03 | 86.9 | 87.9 | 4 | 16.1 | |
2026.03 | 84.8 | 88.9 | 5.1 | 15.7 | |
2026.03 | 73.7 | 76.8 | 8.1 | 9.8 |