ResearchDatasetsDafnyDafnyFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsDafny Code SynthesisDafny Hard Subset Quality-filtered (val)31.1Pass Rate2