AgentLTL: A Trace-Verification Framework for Measuring, Enforcing, and Training Procedural Compliance in Tool-Using LLM Agents
arxiv.org原文 ↗
这篇论文把工具型 LLM agent 的过程要求形式化为线性时序逻辑，而不是只在任务结束后看最终答案是否正确。它把同一套 trace rule 用在三处：离线测量、运行时 enforcement、以及生成/筛选训练信号。看点在于它把“先查证再行动”“不得在未授权状态下调用工具”这类工程规范变成可执行的轨迹约束，适合接入高风险 agent workflow。
–浏览
评论 · Comments