ResearchDatasetsNL-to-ATL translationFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA 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