Dockerless:面向编码代理的无环境程序验证器

Hugging Face Daily Papers 论文

摘要

本文介绍了Dockerless,一种无环境的代理化补丁验证器,无需执行代码即可评估补丁,性能超越现有开源验证器,并为编码代理实现高效的后训练。

程序验证器在训练编码代理中扮演核心角色,包括为监督微调(SFT)选择轨迹以及为强化学习(RL)提供奖励。标准的基于执行的验证需要在每个仓库环境(如Docker镜像)中运行单元测试,这会产生大量环境搭建成本。我们提出了Dockerless,一种无环境的代理化补丁验证器,无需执行即可评估生成的代码补丁。Dockerless并非简单地将候选补丁与参考进行匹配,而是通过代理化的仓库探索收集证据来判断补丁的正确性。在验证器评估基准上,Dockerless比最强的开源验证器高出14.3个AUC点。将Dockerless同时作为SFT轨迹过滤器和RL奖励,可以实现完全无环境的后训练流程。最终模型在SWE-bench Verified、Multilingual和Pro上的解决率分别达到62.0%、50.0%和35.2%,比Qwen3.5-9B基线分别高出2.4、8.7和2.9个百分点,与基于环境的后训练性能相当。
查看原文
查看缓存全文

缓存时间: 2026/07/01 03:40

论文页面 - Dockerless:面向编码智能体的免环境程序验证器

来源:https://huggingface.co/papers/2606.28436 发布于 6月26日

·

Yuling 于7月1日提交

#1 今日论文 (https://huggingface.co/papers/date/2026-07-01) 作者:,

, ,

, ,

, ,

, ,

, ,

,

摘要

Dockerless免环境自主补丁验证器提升了代码补丁评估的准确性,并在无需执行式验证成本的情况下实现了有效的后训练。

程序验证器在训练编码智能体中扮演核心角色,包括为监督微调 (SFT) 选择轨迹,以及为强化学习 (RL) 提供奖励。标准的执行式验证需要在每个仓库环境(如Docker镜像)中运行单元测试,这会产生大量的环境搭建成本。我们提出了Dockerless,一个免环境自主补丁验证器,它无需执行代码即可评估生成的补丁。与简单地将候选补丁与参考补丁进行匹配不同,Dockerless利用通过自主仓库探索收集的证据来判断补丁的正确性。在验证器评估基准上,Dockerless 比最强的开源验证器高出14.3个AUC点。使用Dockerless同时作为SFT轨迹过滤器和RL奖励,实现了完全免环境的后训练流程。由此产生的模型在SWE-bench VerifiedMultilingualPro上的解决率分别达到62.0%、50.0%和35.2%。它超越了Qwen3.5-9B基线2.4、8.7和2.9个百分点,与基于环境的后训练效果相当。

查看arXiv页面 (https://arxiv.org/abs/2606.28436) 查看PDF (https://arxiv.org/pdf/2606.28436) 添加到收藏 (https://huggingface.co/login?next=%2Fpapers%2F2606.28436)

在你的智能体中获取这篇论文:

hf papers read 2606.28436

没有最新的CLI?curl -LsSf https://hf.co/cli/install.sh | bash

引用此论文的模型0

没有模型链接此论文

在模型README.md中引用arxiv.org/abs/2606.28436以从此页面链接。

引用此论文的数据集0

没有数据集链接此论文

在数据集README.md中引用arxiv.org/abs/2606.28436以从此页面链接。

引用此论文的Spaces0

没有Space链接此论文

在Space README.md中引用arxiv.org/abs/2606.28436以从此页面链接。

包含此论文的收藏0

没有收藏包含此论文

将此论文添加到收藏以从此页面链接。

相似文章

OpenComputer:面向计算机使用智能体的可验证软件世界

Hugging Face Daily Papers

OpenComputer 提出了一种框架,用于为计算机使用智能体创建可验证的软件环境,集成了状态验证器、自改进验证层、任务合成以及评估系统,覆盖33个桌面应用程序。实验表明,其验证器与人类判断的一致性优于LLM作为判断者,且前沿智能体在端到端完成方面仍面临困难。

在本地化隔离的微型虚拟机中运行编码代理

Reddit r/AI_Agents

code-airlock 是一个开源工具,可在一次性微型虚拟机中运行 AI 编码代理,以避免授予它们对主机文件系统的直接访问权限。它将仓库克隆到沙箱中,让代理可以自由工作,完成后,用户审查并仅拉取所需更改。