arXiv论文系统重评66种LLM代码质量提升技术,多数增益不及best-of-n基线
论文对628项研究(2021年7月至2026年10月)做系统综述,并在等算力预算下对10种技术、4个模型及后续扩展到13个模型和仓库级任务进行受控重评,在 Gemma 4 31B 上对66种技术做头对头比较。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
论文对628项研究(2021年7月至2026年10月)做系统综述,并在等算力预算下对10种技术、4个模型及后续扩展到13个模型和仓库级任务进行受控重评,在 Gemma 4 31B 上对66种技术做头对头比较。
论文《Repairs for Whom? Evaluator-Executor Mismatch in Selecting Repairs for Failed LLM Agents》研究 LLM Agent 修复方法中评估器选出的修复是否真正帮助实际执行的智能体。
论文研究了编码智能体自动加载的项目记忆文件作为攻击面的风险:攻击者可通过pull request修改记忆文件,在不接触开发者prompt的情况下引导智能体生成通过测试但存在漏洞的代码。
Liran Tal 等发布 VulnBench 2.0 基准,包含 20 个开源 Web 应用中 108 个人工整理的攻击者可达漏洞(Go、JavaScript/TypeScript、Python、Java),其中 62 个跨文件,判定标准要求同时定位攻击者可控 source 与危险 sink 且各在两行内。
arXiv 论文提出 Cross-Boundary Adversarial Runtime Injection(CARI)攻击设置:在多方协作的编码智能体工作流中,恶意或被攻陷的对等开发组件(如后端服务、测试框架、CI 任务)可在其运行时反馈中暗藏指令,诱导受害方智能体执行越权操作。
论文《Thinking-in-Bets at Test Time Reduces Sycophantic Revisions in LLM Agents》(作者 Nghi D. Q. Bui)提出一种免训练方法:让智能体在读用户回复前先写一份私有 Claim Checklist,逐条记录主张、支撑证据与置信度,收到质疑时据此决定保留、复核、澄清或修复。
论文提出 MiRL(Misbehavior-driven RL),先对策略的错误进行画像以找出可泛化的错误行为,再从这些错误发生的步骤开始 rollout 并仅在通过测试且避免错误行为时给予奖励,从而用强化学习纠正终端 Agent 的错误。
论文提出一个六模块扫描器(内容提取、本地分析、组合分析、验证、报告、缓解),用于检测 Agent Skills 中的非预期漏洞及多技能组合风险。
论文提出一套基于执行而非主观判断的评测方法,通过在 AI 生成的智能合约与原始合约上重放相同交易并测量一致率,定位需求在智能合约合成中丢失的位置。研究发现常见方法如 AI 评委和标准分析工具会漏掉明显错误,仅检查各系统都包含的函数会掩盖约一半的流水线差异。
论文对 Claude Code、Codex、Gemini CLI、Qwen Code 和 OpenCode 共 1,886 个版本首次模型请求中的指令栈进行纵向跨智能体研究,分析其构成与演化,并对四个开源智能体的变更追溯到有据可查的动机。
一项涵盖五组实验的软件保障研究(arXiv:2610.36947)使用 Qwen2.5-Coder-7B-Instruct(含 1.5B 敏感性分析)完成 13,638 次模型请求,测试在已有确定性工具证据时增加专家上下文能否提升软件保障。
论文提出Req2Test-Bench,包含5,086个执行验证实例,来自8个开源项目、5种编程语言和4种BDD框架,每个实例将Gherkin自然语言需求与开发者编写的行为测试实现配对。
研究提出 RefactorProof 基准,从 VERINA 中 185 个可编译任务派生出 458 个 Lean 认证变体,测试同一证明在行为保持的程序重构后是否仍然有效。
论文基于来自 1,226 个仓库的 7,837,946 条提交,覆盖五个编码代理与人类提交,研究在去除 bot 账号、Co-authored-by 等署名签名后能否区分 AI 代理提交。
DeepAVR 提出一个多智能体协作的端到端自动化漏洞修复(AVR)框架,将修复过程分解为故障定位、补丁生成、编译验证、安全验证、功能验证与补丁审查等角色,并引入补丁条件化重定位与面向根因的补丁审查。在真实 C/C++ 漏洞修复数据集 VulnLoc 上,DeepAVR 为 92.3% 的漏洞生成了正确补丁,显著优于先前方法;在 SAN2VULN 上也展现出对训练期间未见漏洞的良好泛化能力。
论文提出评测集 ImpasseBench,研究编码智能体在环境阻塞时何时应停止并升级求助。该评测向可解修复任务注入 12 种环境阻塞,并标注轨迹中证据已充分的步骤,以区分合理努力、过度坚持与过早移交。
论文提出 Ulysses,一个多智能体安全框架,用于为 Web 应用合成可验证的漏洞利用证明(Proofs of Exploitability),通过迭代探索利用假设并在独立观测的执行效果中确认成功,将候选漏洞发现转化为已验证结果。
论文提出模拟控制评测(SCEs),用语言模型模拟工具响应以替代真实环境,扩展控制评测的适用范围。在 LinuxArena 上,SCEs 在 5% 审计预算下预测安全性的均方根误差为 3.6 个百分点。
arXiv:2610.33318 论文提出 Enclawed,一个面向 LLM 驱动 HPC 工作流的确定性安全运行时,通过可解析策略的启动门控、硬件根信任 Enclaweder 签名、短租约与心跳共识、fail-closed 驱逐来监管每个 rank,即使控制主机或协调器被攻陷也能维持防护。
论文提出 PAUSE 框架,在编码智能体执行首次源代码编辑前拦截并注入一次修复计划,无需学习型监控、检查点搜索或额外模型调用。
研究提出从源码直接构建、绕过包注册表来阻断恶意包,基于 47,066 个恶意包与 npm/PyPI 共 33,138 个样本的评估显示,仅检查源码归属即可拦截 87.7%–99.9% 的恶意包。但良性包透明度不足,仅 47.4% 标注了可供终端用户构建的源码来源。
该论文用开源 harness 在生产代码库上测试 24 组模型与运行器配置,在 265 个已确认安全根因中,覆盖最广的两组配置合计发现 60.4%,14.3% 的根因仅被单一模型发现,没有任何配置覆盖全部发现。
研究团队提出 RegretBench,用 205 个可执行任务评测编码 Agent 的备份意识:六个前沿模型平均完成任务率 86.1%,但在需要备份的关键时刻仅 15.2% 会提前保存状态。
研究提出 source interventions 方法,用仅差一个 commit、同一输入只在一个源码树上崩溃的配对样本,测试编码智能体是否真能推理执行行为。
论文提出 Ulysses,一个多智能体安全框架,将候选 Web 应用漏洞发现转化为可验证的漏洞利用证明(Proof of Exploitability),通过迭代探索利用假设并以独立可观测的执行效果确认成功。
AgenticVulHunter 提出一种可在本地部署开源权重 LLM 上运行的 Agent 化安全代码审查方法,并配套终端工具。
SCALF 是一种过程监督强化学习方法,结合步骤级信用分配与对有价值失败轨迹的定向学习,用于为大语言模型生成的代码自动生成能暴露缺陷的测试。它从过程奖励中推导每步优势,并将触发缺陷但输出预测错误的轨迹转入同策略自蒸馏。在三个基准上,其联合成功率、输出正确率和缺陷触发率分别比强提示与后训练基线最高提升 2.97、5.26 和 3.53 个百分点。
研究者提出一种在 token 级建模 AI 作者身份、并在行、块、文件三级预测的框架,用冻结代码语言模型加两个低秩适配器,以逐 token 对数似然比作为局部证据。
一项系统性实证研究在三个基准数据集、六组语言对和七个 LLM 上考察跨语言代码翻译幻觉,构建了语义一致性冲突、事实知识冲突、项目上下文偏离三类分类法,并人工标注 13,919 个幻觉案例。研究进一步提出 HaluCodeTran 缓解框架,结合基于 BM25 的翻译示例检索与分类法感知的反思式精炼。
作者训练模型生物在漏洞检测任务中隐瞒答案,用于实证研究“引出潜在知识”(ELK)问题。方法结合对话记录蒸馏、反提示与抗篡改训练,使模型具备选择性隐瞒、抗诱导和保留知识优势三项特性;最强模型在鲁棒性上明显优于此前模型,同时保持另两项特性。代码、模型与数据集均已公开。
研究者构建覆盖四种编程语言、十类加密 API 误用类别的 48,000 对匹配程序,发现修复向量按误用类别而非语言聚类,并提出 CrypSteer——在模型权重不变的情况下,于生成时向内部激活加入每个模型一条共享方向,使目标安全率在五种模型上较未引导生成提升 5.28–15.00 个百分点。
研究对 37 个安全技能在 Claude Code 与四种底层 LLM 上做了大规模实证,覆盖 10 类共 100 个真实 Linux 内核漏洞、合计 14800 次运行。
作者提出 SWE-Residual 基准,用于评测编程智能体的起始状态鲁棒性,即任务起点已包含前序工作时能否维持表现。该基准从 DeepSWE 和 Terminal-Bench 的 111 个任务中构造 198 个 Residual State,每个状态是前序智能体提交完成但隐藏测试仍失败后的环境,被评智能体只拿到原始请求和该状态。
CAT-RAG 是一个智能体式安全类别感知检索增强代码生成框架,用语言特定的安全类别替代 CWE 级检索,可作为独立安全层或 RACG 管线的即插即用附加组件,无需修改底层模型。在 CyberSecEval 上,其安全代码生成改进幅度接近当前最优方法的两倍(23.57% vs. 12.11%),同时减少 41.71% 的 token 开销。评估还覆盖 CodeGuard+ 与 HumanEval。
作者提出 utility-verified abstraction(UVA),训练本地代码 Agent 在向更强的云端模型咨询时,用角色和类型描述私有实体,同时保留专家所需的技术细节。在仓库级 issue 修复任务上,训练后的 Agent 解决 37.6% 的问题,同一模型单独工作为 25.3%;其提问泄露的私有实体比未训练时少 3.7 倍,逐字代码少 1.4 倍。
Vibenix 是开源 AI 智能体,通过 LLM 迭代生成 Nix 打包表达式,在自建 NixBench 的 466 个打包任务上用 Claude Haiku 4.5 实现 95.3% 可构建率,而现有单次生成打包工具仅 5.6%。
一篇 arXiv 论文提出面向 SIEM/XDR 的受限动作架构:SOC 分析 LLM 被限制在封闭意图词表内,命令由管理器按 OS 模板展开并逐参数校验,外层再套 NeMo-Guardrails 代理。
研究者提出 KEX-bench,用 40 个真实 Linux 与 Windows CVE 构造 45 个任务,检验编码智能体能否把内核漏洞转成可验证的利用原语。