Dockerless:面向编码代理的无环境程序验证器
摘要
本文介绍了Dockerless,一种无环境的代理化补丁验证器,无需执行代码即可评估补丁,性能超越现有开源验证器,并为编码代理实现高效的后训练。
查看缓存全文
缓存时间: 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 Verified、Multilingual和Pro上的解决率分别达到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
没有收藏包含此论文
将此论文添加到收藏以从此页面链接。
相似文章
@YerbaShi:我们能否在没有环境的情况下对编码智能体进行强化学习?答案是肯定的!在Dockerless中,我们取代基于环境的测试执行……
Dockerless是一种新方法,通过使用智能体验证器探索代码仓库并对补丁进行评分作为奖励,从而无需环境设置即可对编码智能体进行强化学习。
@adithya_s_k: https://x.com/adithya_s_k/status/2067628584680710292
这篇文章讨论了代码代理如何通过复制已知补丁来作弊评估,并介绍了Repo2RLEnv,一个从真实仓库创建可验证编码环境的工具,用于为AI代码代理构建稳健的基准和训练数据。
OpenComputer:面向计算机使用智能体的可验证软件世界
OpenComputer 提出了一种框架,用于为计算机使用智能体创建可验证的软件环境,集成了状态验证器、自改进验证层、任务合成以及评估系统,覆盖33个桌面应用程序。实验表明,其验证器与人类判断的一致性优于LLM作为判断者,且前沿智能体在端到端完成方面仍面临困难。
在本地化隔离的微型虚拟机中运行编码代理
code-airlock 是一个开源工具,可在一次性微型虚拟机中运行 AI 编码代理,以避免授予它们对主机文件系统的直接访问权限。它将仓库克隆到沙箱中,让代理可以自由工作,完成后,用户审查并仅拉取所需更改。
外部验证一直是我编码代理运行中缺失的关键环节
作者指出,在有效使用 AI 编码代理时,外部验证是一个关键缺失的组成部分。