多智能体上下文与验证反馈对软件保障影响研究

2026年10月28日，arXiv Artificial Intelligence 刊出 S M Abdulla Al Mamun 等作者的论文，研究在已有确定性工具证据时，增加专家语言模型上下文能否提升软件保障。研究使用 Qwen2.5-Coder-7B-Instruct（另做 1.5B 敏感性分析），完成 13,638 次模型请求，在 Java 警告、OWASP Benchmark、Defects4J、SV-COMP 与误导性证据包五类实验中检验该问题。论文同时涉及智能体扩展、验证器反馈与证据可靠性。目前报道仅给出研究设计与实验规模，尚未披露各实验的具体结果或结论。

AI 根据报道生成 · 3 小时前更新

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