ResearchDatasetsSTL-BENCHSTL-BENCHFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsNL-to-STL generationSTL-BENCH English53Formula Accuracy10NL-to-STL generationSTL-BENCH Chinese47Formula Accuracy7NL-to-STL generationSTL-BENCH Manually Written (test)54Formula Accuracy4