LLM编程代理在系统级任务中暴露缺陷,过滤检索显著提升效果
When Agents Implement Systems: A Case Study in Defects, Detection, and Evaluation Rigor
- 代理自主实现多组件数据系统,自动生成并修复五类缺陷
- 过滤候选实体后召回率在预算3时达上限,未过滤搜索仅69%成功
- 揭示代理自我修正局限性,适合关注AI工程可靠性研究者
随着大语言模型编程代理日益承担端到端工程任务,我们缺乏对其在系统级需求(如模式设计、异步编排、配置正确性、检索-过滤权衡)上行为的实证刻画。本研究以一个预设详细规范的多组件数据系统为案例,固定存储技术、模式、实体解析算法与检索-过滤策略,让代理自主完成实现、缺陷诊断与修复,以及开放的交互设计选择。单次会话中记录了五类缺陷,按违反约束与检测方法分类。进一步在公开HotpotQA基准上评估架构指定的检索权衡:在排序前将候选限制于图识别出的实体集,对比无过滤搜索。因无法访问模型运行实体识别阶段,用基准黄金证据标签替代,报告标准召回率而非原指标。在1至10的检索预算下,对100个问题与2994段文本池进行测试,过滤检索在预算3时达到上限,符合预期(因候选已限于黄金段落),而未过滤搜索即使在预算10时也仅在69%情况下恢复全部必要证据,该差距在所有预算下均显著(符号检验p<0.0001)。最后讨论代理自主性的成功与需人工干预之处,包括一次声称的性能改进未在引发问题的回归测试中重新验证。
原文摘要 · Abstract (English)
As LLM coding agents increasingly perform end-to-end engineering work, we lack empirical characterization of how they behave on systems-level requirements: schema design, async orchestration, configuration correctness, and retrieval-filtering trade-offs. We present a case study of one such agent implementing a multi-component data system against a detailed pre-existing specification. Storage technologies, schema, entity-resolution algorithm, and retrieval-filtering strategy were fixed in advance; the agent autonomy was in the implementation, in diagnosing and fixing defects it introduced, and in interaction-design choices left open. Over a single session, we catalog five such defects, categorized by constraint violated and detection method. We further evaluate, on the public HotpotQA benchmark, the one retrieval trade-off specified in that architecture: restricting candidates to a graph-identified entity set before ranking versus unfiltered search. We substitute the benchmark gold evidence labels for entity identification, since we lacked LLM access to run that stage, and report standard recall rather than the benchmark own accuracy metrics. Across retrieval budgets from 1 to 10 and 100 questions against a pooled corpus of 2994 paragraphs, filtered recall reaches its ceiling by a budget of 3, expected once candidates are restricted to the gold paragraphs themselves, while unfiltered search recovers all required evidence only 69 percent of the time even at a budget of 10, a gap that holds at every budget tested, with sign test p less than 0.0001. We close with a discussion of where the agent autonomy succeeded versus required correction, including one instance where a claimed performance fix was never re-measured on the regression that motivated it.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。