ResearchTasksNatural language to strategic temporal logic translationNatural language to strategic temporal logic translationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedNL-to-ATL translation (test)gpt-5.485.6Semantic Accuracy20Jun 30, 2026