Dafny Code Synthesis on APPS Dafny-derived (val)
53.9Pass RateInitial RLVR
Evaluation Results
| Method | Links | |
|---|---|---|
| Initial RLVRTurns=Single-turn, Filtering=Initial2026.05 | 53.9 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| Initial RLVRTurns=Single-turn, Filtering=Initial2026.05 | 53.9 |