arXiv · AI· Jinu Lee, Shraddha Barke·· 10 小时前AI 评分31
Symbolic Constraint Agents (SCA)：挖掘形式化工具调用约束以防智能体错误
Symbolic Constraint Agents: Mining Formal Tool-Call Constraints to Prevent Agent Errors
AI 导读
summary_zh: Symbolic Constraint Agents (SCA) 框架通过挖掘 API 文档并运行时检查工具调用，提升了 LLM 智能体的可靠性。
来源：arXiv · AI · arxiv.org