软件缺陷修复 LLM-DailyDigest 2026-08-30 2026-08-30 约 100 字 预计阅读 1 分钟 软件缺陷修复 本主题由提交工具自动创建，可在此补充洞察与资料。 相关消息（按子主题自动聚合） 人工智能辅助编程 1 ReMCTS：反思增强的蒙特卡洛树搜索代码生成框架 09-30 代码仓库级技能 1 SkillForge：自蒸馏智能体学习项目知识以解决仓库问题 08-20 形式化证明修复 1 CAPRI：面向 Isabelle 的契约感知证明修复 08-16 形式化验证 1 ORSMT：基于SMT的LLM优化建模语义验证与修复 10-22 推理评测 1 受阻智能体应将推理资源用在哪里？基于 BRA 的因果归因 10-22 智能体自进化 1 AgentEvolver：任务执行驱动的系统级自进化 10-10 智能体评测 1 PatchBench：AI 智能体漏洞修复评测基准 09-07 框架修复 1 能力层模型：组合式智能体 Harness 修复与真实仓库压力测试 08-16 框架演化 1 MemScope：通过局部代码修复演化智能体记忆架构 10-18 测试驱动开发 1 TDD-Agent：测试驱动的代码生成推理 08-18 游戏生成 1 Spellcaster：6个Agent协作生成、试玩并修复游戏 08-18 漏洞挖掘 3 Claude发现curl高危漏洞，OSS Scanner推动29天修复闭环 10-22 OpenAI借助GPT发现PHP高危远程代码执行漏洞 10-22 Anthropic 推出 OSS Scanner，免费扫描开源漏洞并生成补丁 10-20 漏洞训练 1 CyberFactory：用真实漏洞实例扩展大模型网络安全能力 08-27 科学编程 1 SWE-bench Science：科学软件工程中的编码智能体评测 08-21 程序修复 11 PAUSE：首次源码编辑前的无搜索编程智能体引导 10-22 RegoMender：自动化 Rego 策略修复的多智能体框架 10-22 TestGRAD：基于失败模式动量演化测试套件 10-08 HealBench 与 HealGuard：真实代码仓库运行时错误修复评测与安全护栏 10-01 JevVibe：分类引导的高效安全代码生成 09-30 AdaRepair-Mem：面向仓库级程序修复的自适应经验编排 09-18 RouteRepair：面向路由启发式的实例级故障诊断与定向修复 09-11 别修没坏的代码：LLM 迭代修复的伪缺陷循环 09-10 ExecCritic：以测试验证与执行反馈改进编程智能体 09-09 LLM 自动程序修复中的多层幻觉研究 09-07 Anchored Self-Play：锚定自博弈提升代码修复真实性 08-14 经验学习 1 Chronos：让代码智能体基于软件演化历史进行推理 10-10 自动化维护 1 Claude自动维护应用：388个AI PR中180个获合并 08-15 自博弈 1 SSR：通过自博弈训练超智能软件智能体 08-14 软件补丁回移 1 自动化安全补丁回移基准：现有工具能走多远？ 08-19 领域修复 1 开放权重模型实现纯 LLM PDDL 领域修复 08-19
