SWE-BENCH VERIFIED · 500 题 / TASKS
PPO 训练后的代码任务效果
Code-task results after PPO training
整体架构 / ARCHITECTURE
训练、价值模型与任务基础设施
Training, value model, and task infrastructure
PPO 训练模块 / PPO training
生成包含过程奖励与终局奖励的样本 → 两轮 Critic 更新 → 重算 GAE 并更新 Actor
Generate samples with process and terminal rewards → update the Critic twice → recompute GAE and update the Actor.
冻结训练池为 529 题,主要选取 pass@4 为 1/4、2/4、3/4 的任务。每步抽取 32 题生成当前策略轨迹;只有终局结果、过程标签、轨迹与 token 对齐均有效的样本参与更新。
The frozen 529-task pool mostly contains tasks with pass@4 of 1/4, 2/4, or 3/4. Each step samples 32 tasks for fresh trajectories. Only samples with valid terminal outcomes, process labels, trajectories, and token alignment enter training.
Critic Pretrain 模块 / Critic pretraining
多种子离线 rollout 与奖励标注 → 多个 epoch 更新 Critic → 用隔离样本选定 checkpoint
Generate and label multi-seed offline rollouts → train the Critic for multiple epochs → select a checkpoint using held-out samples.
过程奖励和终局奖励共同构成训练目标;仅保留标签完整且满足上下文限制的轨迹。train/val/test 约 5,400/300/300 条。最终 Critic 的 selection MSE 约 0.23、EV 约 0.16;在线 PPO 的 Critic EV 约 0.15。
Process and terminal rewards form the training target. Complete labels and context-length compliance are required. Train/validation/test contain about 5,400/300/300 trajectories. The selected Critic has selection MSE ≈ 0.23 and EV ≈ 0.16; its online PPO EV is about 0.15.
沙箱与数据链路 / Sandbox and data
SWE-Smith 原始任务 → 多级验证与仓库隔离 → Harbor 独立 Pod 执行
SWE-Smith source tasks → validation and repository separation → isolated Harbor Pod per task.
从上万道 SWE-Smith 任务中,经结构、补丁、强模型、NOP/Oracle、题面与测试对齐等检查,筛选出 1,800 余道候选任务。Harbor 为每题隔离执行环境;BuildKit 与 TCR 提供任务镜像,Gateway 连接模型服务,并检查网络、依赖和产物下载。
More than 1,800 candidates were selected from over ten thousand SWE-Smith tasks through structure, patch, strong-model, NOP/Oracle, and problem/test-alignment checks. Harbor isolates task execution; BuildKit and TCR provide images, Gateway connects model serving, and network, dependencies, and artifact downloads are checked.
HUGGING FACE 发布产物 / RELEASES
样本 · RL模型 · Critic模型
Tasks · RL model · Critic model
支持该项目 / SUPPORT THIS PROJECT
支持该项目
Support This Project
数据、开发、GPU和CPU等训练的费用均由我自行承担。如果您觉得这个模型对您有用,并希望资助更大的数据集和未来的开源版本,可以给我点赞,留言。
I personally cover the costs of data, development, GPU and CPU training. If you find this model useful and would like to support larger datasets and future open-source releases, please give it a like and leave a comment.