arXiv Artificial Intelligence· Jinu Lee, Shraddha Barke·2026-10-20 12:00· 2 小时前AI 评分42

Symbolic Constraint Agents：从工具调用中挖掘形式化约束以防智能体出错

Symbolic Constraint Agents: Mining Formal Tool-Call Constraints to Prevent Agent Errors

AI 导读

Symbolic Constraint Agents（SCA）从 API 文档中挖掘符号约束，用执行轨迹精化，并在运行时用 SMT 求解器检查智能体的工具调用，违规时给出自然语言警告或自动修复。