ResearchTasksNL-to-STL generationNL-to-STL generationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSTL-BENCH EnglishReasonSTL53Formula Accuracy10May 8, 2026STL-BENCH ChineseReasonSTL47Formula Accuracy7May 8, 2026STL-BENCH Manually Written (test)ReasonSTL54Formula Accuracy4May 8, 2026