提出SCA框架防止LLM工具调用错误

2026年10月20日，研究人员Jinu Lee与Shraddha Barke在arXiv发布论文，提出名为“符号约束智能体”（SCA）的新框架。该框架旨在解决大型语言模型（LLM）智能体在执行工具调用时出现的可靠性问题，以提升其运行稳定性。 SCA框架的核心机制包括三个主要步骤：首先挖掘并提取API文档中的符号约束；随后根据实际执行轨迹对这些约束进行优化和精炼；最后在智能体运行时，使用SMT求解器实时检查其工具调用是否符合约束。通过这种形式化的验证方法，框架能够有效防止因参数错误或逻辑不一致导致的工具调用故障。

AI 根据报道生成 · 49 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。