TY  - RPRT
TI  - Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
AU  - Parand A. Alamdari
AU  - Toryn Q. Klassen
AU  - Sheila A. McIlraith
PY  - 2026
UR  - https://arxiv.org/abs/2605.16198
ID  - 2605.16198
ER  -