ResearchDatasetsDS-IFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsACSL Specification SynthesisDS-I100GSR4