@misc{indiciae5f2ec6342269,
  title = {VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation},
  author = {Lesly Miculicich and Mihir Parmar and Hamid Palangi and Krishnamurthy Dj Dvijotham and Mirko Montanari and Tomas Pfister and Long T. Le},
  year = {2025},
  url = {https://arxiv.org/abs/2510.05156},
  note = {Source identifier: 2510.05156}
}