ResearchDatasetsNL-to-ATL translationNL-to-ATL translationFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsNatural language to strategic temporal logic translationNL-to-ATL translation (test)85.6Semantic Accuracy20
Natural language to strategic temporal logic translationNL-to-ATL translation (test)85.6Semantic Accuracy20