ResearchDatasetsDeepSTLDeepSTLFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsNatural Language to STL TransformationDeepSTL81.43STL Formula Accuracy15Natural Language to Signal Temporal Logic GenerationDeepSTL Human Evaluation 1.054.6Accuracy6Natural Language to Signal Temporal Logic (NL-to-STL) GenerationDeepSTL (test)45.38STL Formula Accuracy6
Natural Language to Signal Temporal Logic (NL-to-STL) GenerationDeepSTL (test)45.38STL Formula Accuracy6