Towards Verifiably Safe Tool Use for LLM Agents.

Aarya Doshi, Yining Hong, Congying Xu, Eunsuk Kang, Alexandros Kapravelos, Christian Kstner

Browse the full ICSE paper archive.