ResearchTasksDafny Program VerificationDafny Program VerificationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedDafnyBench (test)SEVerA89.1Verification Rate (NoDiff)4Mar 27, 2026HumanEvalDafny (test)SEVerA97Verification Success Rate (NoDiff)4Mar 27, 2026