@article{formalmethodsmeetllmsauditingmonitoringa,
  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},
  eprint = {2605.16198},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.16198},
}