TY  - RPRT
TI  - Towards Verifiably Safe Tool Use for LLM Agents
AU  - Aarya Doshi
AU  - Yining Hong
AU  - Congying Xu
AU  - Eunsuk Kang
AU  - Alexandros Kapravelos
AU  - Christian Kästner
PY  - 2026
UR  - https://arxiv.org/abs/2601.08012
ID  - 2601.08012
ER  -