Verified Program Synthesis
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
56.4Verification Success Rate
2
Jul 1, 2026
28Verification Success Rate
2
Jul 1, 2026
52Verification Success Rate
2
Jul 1, 2026
75Verification Success Rate
2
Jul 1, 2026