ResearchDatasetsSTL-DivEnSTL-DivEnFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsNatural Language to Signal Temporal Logic GenerationSTL-DivEn Human Evaluation 1.062.4Accuracy6Natural Language to Signal Temporal Logic (NL-to-STL) GenerationSTL-DivEn (test)55.87STL Formula Accuracy6
Natural Language to Signal Temporal Logic (NL-to-STL) GenerationSTL-DivEn (test)55.87STL Formula Accuracy6