ResearchTasksRNN-based navigation policy verificationRNN-based navigation policy verificationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedNavigation 4x4 environmentRNN-ProVe1.42Avg. Violation Rate5May 15, 2026Navigation (Nav) 8x8 environmentBaseline13.01Average Violation Rate4May 15, 2026Navigation (Nav) 16x16 environmentRNN-ProVe0.64Average Violation Rate3May 15, 2026