ResearchTasksNatural language to strategic temporal logic translationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedNL-to-ATL translation (test)gpt-5.485.6Semantic Accuracy20Jun 30, 2026