Herding End-to-End Autonomous Driving via Neuro-Symbolic Safety Guards
This work addresses the safety and interpretability limitations of end-to-end autonomous driving systems, which often violate traffic rules due to reliance on statistical data patterns and lack verifiable guarantees. The authors propose a lightweight neuro-symbolic safety guard that enforces explicit traffic regulations in real time—without retraining the underlying model or adding new learning components—by validating control commands prior to execution and substituting them with the nearest feasible safe action when necessary. Integrated seamlessly into the TransFuser v6 architecture, this mechanism ensures every intervention is traceable to a specific rule. Experiments on the Fail2Drive and Bench2Drive long-tail benchmarks demonstrate a 53% reduction in severe collisions and a 15% improvement in task success rate, all while preserving the original driving performance.