ResearchTasksNatural Language to STL TransformationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedDeepSTLReasonSTL-Direct81.43STL Formula Accuracy15May 8, 2026