Facilitating Logical Flaw Detection for Autonomous Driving Systems Through LLM-Empowered Oracle Generation

Summary

Researchers present LawSentry, an automated framework that uses large language models to turn natural-language traffic laws into executable violation oracles for autonomous driving systems. In evaluation, the framework generated 55 oracles for traffic laws from four countries and regions, running on LGSVL and Carla, with 95.5% detection accuracy. Using these oracles, the authors found 7+7 previously unknown flaws in two stable versions of the Apollo industry ADS, Apollo 7.0 and Apollo 8.0.