ResearchTasksStrategy SynthesisStrategy SynthesisFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedStrategy Synthesis Scalability BenchmarksNatSTV0.8Verification Time (s)8Jun 17, 2026