ResearchTasksContextually grounded translationContextually grounded translationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedVERIFY corpusNeuroNL2LTL27.8SemEq11May 25, 2026