ResearchTasksContextually grounded translationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedVERIFY corpusNeuroNL2LTL27.8SemEq11May 25, 2026