Published July 27, 2026 | Version v1

Facilitating Logical Flaw Detection for Autonomous Driving Systems through LLM-empowered Oracle Generation

Description

LawSentry is a novel automated violation oracle generation framework to facilitate logic flaws detection in autonomous driving systems  discussed in the paper titled “Facilitating Logical Flaw Detection for Autonomous Driving Systems through LLM-empowered Oracle Generation”, including pototypes, and key evaluation results.

Files

LawSentry-0635.zip

Files (196.1 MB)

Name Size Download all
md5:c7392d74625b4b46d6c9372cad0ca8c4
196.1 MB Preview Download

Additional details

Dates

Accepted
2026-07-23

Software

Programming language
Python