ResearchTasksRNN-based cooperative multi-agent verificationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedBoxPushing (BP) 20x20 environmentRNN-ProVe1.51Avg Violation Rate2May 15, 2026BoxPushing (BP) 10x10 environmentRNN-ProVe1.15Average Violation Rate2May 15, 2026