TY  - RPRT
TI  - LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
AU  - Sreehari Sankar
AU  - Debargha Ganguly
AU  - Vikash Singh
AU  - Mohsen Hariri
AU  - Weicong Chen
AU  - Yanyan Zhang
AU  - Shouren Wang
AU  - Wang Yang
AU  - Chaoda Song
AU  - Alexander Nemecek
AU  - Osama Zafar
AU  - Idan Davidovich
AU  - Yuting Shao
AU  - Kai Ye
AU  - Biyao Zhang
AU  - Xinpeng Li
AU  - Joe Stubbs
AU  - Erman Ayday
AU  - Jing Ma
AU  - Vipin Chaudhary
PY  - 2026
UR  - https://arxiv.org/abs/2611.02332
ID  - 2611.02332
ER  -