ResearchTasksNL-to-STL generationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedSTL-BENCH EnglishReasonSTL53Formula Accuracy10May 8, 2026STL-BENCH ChineseReasonSTL47Formula Accuracy7May 8, 2026STL-BENCH Manually Written (test)ReasonSTL54Formula Accuracy4May 8, 2026