arXiv Artificial Intelligence· Shihao Weng, Longtian Wang, Yang Feng, Mingfei Cheng, Jia Liu, Chao Shen, He Ye, Federica Sarro, Xiaofei Xie·· 2 小时前AI 评分58
研究：智能体系统中 LLM 调用点的契约实证分析
When Code Becomes an LLM Call: An Empirical Study of Call-Site Contracts in Agentic Systems
AI 导读
研究对 40 个流行开源智能体系统的 496 个 LLM 调用点（13.4 MLOC、四种语言）做了契约实证分析，用经 17,428 条人工判断验证的多智能体流程，推导每个调用点应满足的契约并与代码实际实现的契约对比。
来源：arXiv Artificial Intelligence · arxiv.org