ResearchDatasetsSTL-BENCHFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsNL-to-STL generationSTL-BENCH English53Formula Accuracy10NL-to-STL generationSTL-BENCH Chinese47Formula Accuracy7NL-to-STL generationSTL-BENCH Manually Written (test)54Formula Accuracy4