ResearchTasksRNN-based cooperative multi-agent verificationRNN-based cooperative multi-agent verificationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedBoxPushing (BP) 20x20 environmentRNN-ProVe1.51Avg Violation Rate2May 15, 2026BoxPushing (BP) 10x10 environmentRNN-ProVe1.15Average Violation Rate2May 15, 2026