ResearchDatasetsStrategy Synthesis Scalability BenchmarksStrategy Synthesis Scalability BenchmarksFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsStrategy SynthesisStrategy Synthesis Scalability Benchmarks0.8Verification Time (s)8