Towards Verifiably Safe Tool Use for LLM Agents
面向LLM代理工具使用的可验证安全性
专题命中 其他LLM :LLM(title,abstract);large language model(abstract);language model(abstract)
AI总结 本文提出一种基于STPA的框架,通过形式化规范数据流和工具序列,实现LLM代理的可验证安全性,减少对人工标注的依赖。
Comments 4 pages, 1 figure; accepted to ICSE NIER 2026