ResearchDatasetsGLTLGLTLFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsEnd-to-end TranslationGLTL99.8Accuracy16