ResearchTasksEven PairsEven PairsFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedFormal-language benchmark lengths 41-500 (test)RNN100Accuracy (%)6May 19, 2026