Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
By Parand A. Alamdari, Toryn Q. Klassen, and Sheila A. McIlraith
In FAccT-26: ACM Conference on Fairness, Accountability, and Transparency, 2026.
[ Paper ]
