@misc{indiciae815287df3ad8,
  title = {Towards Verifiably Safe Tool Use for LLM Agents},
  author = {Aarya Doshi and Yining Hong and Congying Xu and Eunsuk Kang and Alexandros Kapravelos and Christian Kästner},
  year = {2026},
  url = {https://arxiv.org/abs/2601.08012},
  note = {Source identifier: 2601.08012}
}