@misc{indiciae41356702b764,
  title = {LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents},
  author = {Sreehari Sankar and Debargha Ganguly and Vikash Singh and Mohsen Hariri and Weicong Chen and Yanyan Zhang and Shouren Wang and Wang Yang and Chaoda Song and Alexander Nemecek and Osama Zafar and Idan Davidovich and Yuting Shao and Kai Ye and Biyao Zhang and Xinpeng Li and Joe Stubbs and Erman Ayday and Jing Ma and Vipin Chaudhary},
  year = {2026},
  url = {https://arxiv.org/abs/2611.02332},
  note = {Source identifier: 2611.02332}
}