RoboBugBench: Benchmarking Automated Repair of Real Robot Software Under an Audited Behavioral Oracle

arXiv:2610.16369 · cs.RO · Submitted 2026-10-12 · Read on arXiv

cs.RO

Submitted: 2026-10-12

Updated: 2026-10-12

Comments: 14 pages: 9 main + references + two appendices. 1 figure, 4 tables. Accepted non-archival workshop paper at the Verify-Agents workshop ('Who Verifies the Agents?') at NeurIPS 2026, Sydney, Dec 11-12, 2026

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Benchmarking — 1× in this paper · explained in 4 episodes

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• ARC: A Reasoning Recipe for Robot Foundation Models
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies