ResearchDatasetsSynth-FoldFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsState AbstractionSynth-Fold5,000Abstract State Count7