@misc{indiciaefd7c83716448,
  title = {Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems},
  author = {Parand A. Alamdari and Toryn Q. Klassen and Sheila A. McIlraith},
  year = {2026},
  url = {https://arxiv.org/abs/2605.16198},
  note = {Source identifier: 2605.16198}
}