2026-08-06 · 周四 · 强化学习 / Agent / 具身智能

RL 用于长视野工具智能体:Agent-STAR 的五轴解剖与一条被低估的反向趋势

Demystifying Reinforcement Learning for Long-Horizon Tool-Using Agents: A Comprehensive Recipe

arXiv 2603.21972v1 2026-03-23 CUHK · IDEA Research · UM TravelPlanner venue 未确认

一句话定位:长视野工具智能体的 RL 配方不是一组固定超参,而是一个以模型容量为自变量的函数——1.5B 需要的东西恰恰是 7B 应当避免的。

阅前说明(坦诚性声明)

  1. venue 归属:核心论文 arXiv 页面的 Comments 字段仅注明代码地址,未声明任何会议接收。其 HTML 排版疑似使用 ICLR 会议模板,但我在 OpenReview 上未检索到对应 submission 页面,因此定位为高质量 arXiv 预印本。降级理由:该文完整开源了数据、SFT 轨迹与六个 checkpoint,可复现性显著优于同期同主题工作。
  2. 去重索引不可用:本次为云端定时任务,用户桌面未连接,ml-report-index.md 无法访问,14 天去重检查未能执行。候选池 25 篇,shuf -i 1-25 -n 3 → [3, 17, 15],取 #3。重抽次数:0
  3. 数据来源边界:所有性能数字来自 arXiv HTML 全文 v1 的表 1–4 与附录表 8–9。Figure 5/6/7/8 为位图,涉及这些图的数值(如 5%/10% 工具失败率下的具体成功率、500-prompt 档位)无法提取,相应位置已逐处标注。
  4. 统计显著性:在全文中未找到任何标准差、置信区间或多 seed 说明。下文所有 pp 差值均为单次运行的点估计之差

第一部分 · 链接验证表

以下链接均已实际访问确认可达(2026-08-06)。核实不到的项目明确标注「未找到」。

论文会议 / OpenReviewarXivCode数据集 / 权重
核心 · Agent-STAR 未找到 2603.21972v1 · HTML WxxShirley/Agent-STAR TravelDataset · TravelDatabase · 6 checkpoints
TravelPlanner ICML 2024 Spotlight · 项目主页 2402.01622v4 见项目主页 1,225 intent + ~4M 记录
Search-R1 OpenReview 2503.09516v5 PeterGriffinJin/Search-R1 checkpoint 已开源
DAPO 未找到独立会议页 2503.14476v2 基于 verl 开源 数据集已开源
ARPO ICLR 2026 Poster · iclr.cc · OpenReview 2507.19849 RUC-NLPIR/ARPO 已开源
Planner-R1 ICLR 2026 Under review 2509.25779v2 未找到 未找到

第二部分 · 核心论文深度解析

2.1 Motivation:一个两年没被攻克的 0.6%

论文指向的不是笼统的「agent 很难训」,而是一组具体到刺眼的数字:

关键含义:这个基准在两年内没有被「能力涌现」自然攻克。这与 MATH、GSM8K、甚至 SWE-bench 的历史轨迹形成对照——那些基准的 SOTA 都随基础模型迭代快速上升。TravelPlanner 的顽固性说明它考察的能力维度(多约束联合满足 + 长序列工具编排)没有被通用预训练 / 后训练顺带解决

为什么值得解决(按说服力排序)

  1. 它是「长视野」的干净切片。每条轨迹平均需要 9.2 次工具调用、10.3K token(附录表 8)。相比之下 Search-R1 类任务通常 1–3 次检索即收敛。9.2 次意味着任何 step-level 错误都会被后续步骤放大。
  2. 它的奖励天然可分解。评估协议把约束拆成 commonsense 与 hard constraint 两维,每维又有 micro(比例)与 macro(0/1)两级——一个现成的四级奖励密度阶梯,无需人工设计 process reward model。这是 STAR 能做密度消融的前提。
  3. 它是稀疏奖励的极端案例。base 成功率 0.0% 意味着纯 success 奖励下初始梯度全为零

相对前驱的新颖之处:从单轴到五轴

变量取值
奖励塑形reward functionSum / Macro / Success / Curriculum
模型规模params1.5B / 3B / 7B
数据组成difficulty mix & sizeEasy / Medium / Hard / Mixed × 100 / 1K / 2K
算法选择RL algorithmGRPO / DAPO / ARPO
环境稳定性tool failure rate0% / 5% / 10%

前驱的共同缺陷是单轴优化:Search-R1 只调奖励,DAPO 只调算法,Planner-R1 只调 reward shaping。4×3×4×3×3 的完整网格不可能跑完,STAR 的做法是逐轴消融(固定其余轴)——这既是它能完成的原因,也是它最大的方法论软肋(见 2.6 批判 ⑥)。

2.2 论文的故事线:一条排除法链条

STAR 的论证不是「我们提出 X → X 有效」,而是一条被逼出来的排除法链条:

  1. 为什么不能直接 RL?base 成功率 0.0% → GRPO 组内所有样本奖励相同 → 优势归一化分母为 0 → 无梯度。必须有 SFT 冷启动。这一步是被逼出来的,不是设计选择。
  2. SFT 数据从哪来?人工标注 9.2 步轨迹成本过高 → 用 DeepSeek-V3.2-Exp-Thinking 做 ReAct → 拒绝采样只留 Success → 5K query 筛出 1,198 条(保留率 24.0%)。这个 24% 本身就是信号:即使顶级教师在 TravelPlanner 上也有 76% 失败率
  3. 奖励该多密?base 成功率为 0 → 需要密集奖励 → 但密集奖励可能过拟合任务特定评分函数 → 设计 Sum / Macro / Success 三档密度 + Curriculum 过渡。隐含权衡是明说的:用 in-domain 收敛速度换 OOD 泛化。
  4. 观察到什么反常?Curriculum 在 1.5B(34.9)和 3B(49.9)都最优,在 7B 掉到 57.0,落后 Sum 的 62.8 达 5.8pp。这推翻了「更聪明的奖励调度总是更好」的默认假设。作者由此推断:模型容量本身提供探索能力,容量足够时外部探索辅助反而是噪声。
  5. 这个推断能推广吗?表 4 在算法轴上验证:1.5B 上 ARPO(37.5) > DAPO(36.9) > GRPO(30.1),到 7B 完全倒过来,GRPO(62.8) > DAPO(58.4) ≈ ARPO(58.3)。两条独立的轴给出同向结论——这是全文论证最扎实的地方。

2.3 方法论与机制解剖

形式化定义:评估分量直接充当奖励基元

s_cs^micro ∈ [0,1] 满足的 commonsense 检查项比例 s_cs^macro ∈ {0,1} = 1 当且仅当 s_cs^micro = 1 s_hard^micro ∈ [0,1] 满足的 hard constraint 检查项比例 s_hard^macro ∈ {0,1} = 1 当且仅当 s_hard^micro = 1 s^success ∈ {0,1} = 1 当且仅当 s_cs^macro = 1 且 s_hard^macro = 1
r_sum = s_cs^micro + s_cs^macro + s_hard^micro + s_hard^macro + s^success 值域 [0,5] 密集 r_macro = s_cs^macro + s_hard^macro + s^success 值域 {0..3} 半稀疏 r_success = s^success 值域 {0,1} 稀疏 r_curriculum = 分阶段:前期 r_sum → 后期 r_success 密度递减
一个论文未讨论的结构性性质:由于 macro 是 micro 的指示函数,r_sum 在 micro = 1 处不连续(跳变 +1)。这创造了一个「临门一脚」的强激励,也可能在优化面上造成阶跃。论文对此没有分析。

GRPO 目标(KL-free 变体)

J_GRPO(θ) = E_{q~D, {H^(i)}~π_old} [ 1/Σ|H^(i)| · Σ_i Σ_j min( ρ_j^(i)·Â^(i), clip(ρ_j^(i), 1-ε_low, 1+ε_high)·Â^(i) ) ] ρ_j^(i) : 重要性采样比 Â^(i) : 组内归一化优势 关键改动:① 移除 KL 惩罚项 ② ε_high > ε_low(clip-high,借自 DAPO)

STAR 三阶段流水线

┌─────────────────────────────────────────────────────────────────┐ │ Stage 1 · 数据合成 │ │ 原子旅行元素采样 → 10K+ query → 沙箱可行性校验 │ │ GPT-OSS-120B / DeepSeek-V3.2-Exp 反向翻译成自然语言 intent │ │ 难度分级:easy / medium / hard(按约束数量与类型) │ └──────────────────────────┬──────────────────────────────────────┘ │ 抽 5K query ▼ ┌─────────────────────────────────────────────────────────────────┐ │ Stage 2 · SFT 冷启动 │ │ DeepSeek-V3.2-Exp-Thinking 做 ReAct rollout │ │ 拒绝采样:仅保留 Success 轨迹 → 1,198 条(保留率 24.0%) │ │ 轨迹统计:平均 10.3K token / 9.2 次工具调用(附录表 8) │ │ 微调 Qwen2.5-Instruct {1.5B, 3B, 7B} │ └──────────────────────────┬──────────────────────────────────────┘ │ 抽 1K query(easy:medium:hard = 4:3:3) ▼ ┌─────────────────────────────────────────────────────────────────┐ │ Stage 3 · RL │ │ GRPO(KL-free + clip-high),G = 8,5 epochs │ │ 奖励 ∈ {Sum, Macro, Success, Curriculum} │ │ 协议约束:格式错误 → reward = 0 │ │ 超长处理:排除出 loss,但保留用于组内优势归一化 │ │ 上下文:训练 30K / 推理 32K │ └─────────────────────────────────────────────────────────────────┘

关键机制表

机制 / 维度设计选择动机关键超参 / 数值
冷启动教师蒸馏 + 拒绝采样base 成功率 0.0%,RL 无梯度5K → 1,198(24.0%)
奖励密度四档阶梯密度与规模的交互是研究对象[0,5] / {0..3} / {0,1}
数据难度配比Mixed 4:3:3全 hard 奖励稀疏;全 easy 无挑战4:3:3
数据规模1K promptsin-domain 与 OOD 的折中点100 / 1K / 2K
RL 算法GRPO + KL-free + clip-high去掉 KL 释放探索空间G = 8,5 epochs
超长轨迹排除 loss,保留归一化避免长度惩罚污染梯度但保留信号30K / 32K
格式违规硬置 reward = 0强制 ReAct 协议合规
环境噪声随机注入工具失败模拟真实 API 不稳定0% / 5% / 10%
两个未被验证的工程决策。其一,超长轨迹「排除 loss 但保留归一化」:若完全剔除,组内优势基线会被系统性抬高(失败样本往往更长);保留它们参与归一化,等于让超长样本充当隐性负例——论文没有对这个选择做消融。其二,KL-free 的代价:没有 KL 锚定意味着策略可任意漂离 SFT 分布。表 2 的 7B 行(SFT OOD 41.9 → Sum RL OOD 36.7)很可能正是这个选择的后果,但论文把它归因于「奖励过密」,没有做 KL-on / KL-off 对照来分离两个因素

第三部分 · 定量结果

3.1 主结果矩阵(表 1,TravelPlanner 测试集 1,000 条,Success %)

方法1.5B3B7B1.5B→7B 增益
Base(未训练)0.00.00.1
SFT6.912.219.7+12.8pp
Sum(密集)33.147.062.8+29.7pp
Macro(半稀疏)30.148.258.9+28.8pp
Success(稀疏)33.846.660.9+27.1pp
Curriculum(阶梯)34.949.957.0+22.1pp
该规模最优Curriculum 34.9Curriculum 49.9Sum 62.8

图 1 · 奖励设计的规模依赖翻转

TravelPlanner 测试集 Success(%)。Curriculum 在 1.5B / 3B 领先,在 7B 反被 Sum 反超 5.8pp。数据源:表 1。悬停查看数值。

Sum(密集奖励) Curriculum(阶梯奖励)
01020 304050 6070 Success (%) 33.134.9 47.049.9 62.857.0 1.5B3B7B Curriculum 领先 Curriculum 领先 ↺ 翻转:Sum 领先

3.2 表 1 全貌(六指标 × 三规模 × 六方法)

ScaleMethodCS MicroCS MacroHC MicroHC MacroSuccess
1.5BBase30.10.00.00.00.0
1.5BSFT65.915.417.212.16.9
1.5BSum95.171.651.433.433.1
1.5BMacro93.468.447.931.630.1
1.5BSuccess93.968.251.034.733.8
1.5BCurriculum93.970.251.035.434.9
3BBase46.50.00.00.00.0
3BSFT70.424.628.620.012.2
3BSum97.682.564.847.647.0
3BMacro95.179.668.852.348.2
3BSuccess90.676.162.647.746.6
3BCurriculum95.383.067.651.049.9
7BBase55.80.10.70.70.1
7BSFT77.133.140.631.319.7
7BSum96.987.478.766.562.8
7BMacro97.089.877.360.058.9
7BSuccess91.478.373.464.060.9
7BCurriculum96.185.176.660.457.0

三个非平凡观察

  1. CS Micro 早已饱和,Success 远未饱和。7B-Sum 的 CS Micro 是 96.9%,Success 只有 62.8%。瓶颈完全在 hard constraint 的 macro 级(66.5%)——剩余误差不是「常识性错误」,而是「预算 / 偏好类硬约束的最后一项没满足」。
  2. 相变点在 3B 与 7B 之间。3B→7B 这一步,Curriculum 只涨 7.1pp(49.9→57.0),Sum 涨 15.8pp(47.0→62.8)——增益差 8.7pp,全表最剧烈的方向性翻转
  3. in-domain 上 RL 是主角。7B:SFT 19.7 → RL 62.8,RL 贡献 +43.1pp,是 SFT 贡献(19.6pp)的 2.2 倍。这个结论下一节会被 OOD 数据狠狠打脸。

3.3 OOD 结果矩阵(表 2,7 个知识密集型 QA 基准,%)

工具环境替换为本地 Wikipedia 检索。这是一个工具形态相同、任务语义完全不同的迁移设定,考察「工具编排能力」而非「旅行知识」的可迁移性。

ScaleMethodNQTriviaQAPopQAHotpotQA2WikiMusiqueBamboogleAvg.
1.5BBase7.122.49.95.94.32.68.08.6
1.5BSFT13.521.413.511.67.01.212.011.5
1.5BSearch-R139.451.039.714.624.42.24.025.0
1.5BSum32.144.530.926.014.85.316.824.3
1.5BMacro29.645.128.826.919.46.323.225.6
1.5BSuccess24.836.921.324.217.74.623.221.8
1.5BCurriculum20.628.520.516.011.73.517.616.9
3BBase10.628.810.814.924.42.02.413.4
3BSFT35.152.531.332.024.49.030.430.7
3BSearch-R134.154.537.832.431.910.326.432.5
3BSum38.254.934.334.223.38.827.231.6
3BMacro37.054.534.937.929.911.633.634.2
3BSuccess37.554.134.033.719.410.332.031.6
3BCurriculum41.056.836.239.527.712.432.035.0
7BBase13.440.814.018.325.03.112.018.1
7BSFT41.259.737.647.037.816.353.641.9
7BSearch-R139.361.039.737.041.414.636.838.5
7BSum35.554.534.844.834.615.437.636.7
7BMacro42.261.239.648.838.317.452.842.9
7BSuccess38.755.935.245.838.415.541.638.7
7BCurriculum41.158.737.748.438.517.445.641.1

🔴 全文最有说服力的定量证据(由表 2 推导,论文未明说)

把「RL 相对 SFT 的 OOD 净贡献」按规模列出来,与同规模 in-domain 净贡献并排:

规模SFT 的 OOD Avg最优 RL 的 OOD AvgRL 的 OOD 净贡献同规模 in-domain RL 净贡献
1.5B11.525.6(Macro)+14.1pp+28.0pp(6.9→34.9)
3B30.735.0(Curriculum)+4.3pp+37.7pp(12.2→49.9)
7B41.942.9(Macro)+1.0pp+43.1pp(19.7→62.8)
一条清晰的单调递减:+14.1 → +4.3 → +1.0。每增大一个规模档,RL 的 OOD 净贡献缩水约 3 倍。与此同时,in-domain 的 RL 净贡献却在单调递增:+28.0 → +37.7 → +43.1。

两条趋势的剪刀差意味着:随着模型变大,RL 越来越像是在做「任务特定的过拟合」,而不是在教会模型可迁移的工具编排能力。外推到 7B 以上,OOD 净贡献会跌破 0——事实上在 7B 上,如果研究者选了论文为 1.5B/3B 推荐的 Curriculum 或最强 in-domain 的 Sum,OOD 已经是负收益:

论文的 Takeaway 2 只说了「过密的奖励有 alignment tax」,但数据显示的是更强的命题:在 7B 上,四种奖励里有两种让 RL 的 OOD 净收益为负,剩下两种的正收益不超过 +1.0pp。换句话说,STAR 在 7B 上的 OOD 竞争力几乎全部来自 SFT 阶段的 DeepSeek-V3.2 蒸馏,而非 RL

补充旁证:7B-SFT 的 OOD Avg(41.9)已经超过在 NQ+HotpotQA 上原生训练的 Search-R1(38.5)3.4pp。一个从未见过 QA 数据、只在旅行规划轨迹上蒸馏过的模型,OOD 打赢了 in-domain 训练的专用基线——这是蒸馏的胜利,不是 RL 的胜利

图 2 · 剪刀差:RL 相对 SFT 的净贡献,in-domain vs OOD

单位 pp(百分点)。in-domain 净贡献随规模递增,OOD 净贡献随规模趋零。数据源:表 1 与表 2 推导。悬停查看数值。

in-domain 净贡献(TravelPlanner Success) OOD 净贡献(7 QA 基准均分)
01020 3040 净贡献 (pp) +28.0+14.1 +37.7+4.3 +43.1+1.0 1.5B3B7B OOD 收益趋零 →

3.4 数据难度组成消融(表 3,3B,Curriculum,1K prompts)

配置CS MicroCS MacroHC MicroHC MacroSuccessvs Mixed
Easy-1K92.879.762.846.945.3−4.6pp
Medium-1K94.969.266.249.041.1−8.8pp
Hard-1K90.048.465.547.225.9−24.0pp
Mixed-1K (4:3:3)95.383.067.651.049.9
被论文一句带过、但值得单独拎出来的细节:Hard-1K 的崩溃不是全面崩溃。它的 HC Micro(65.5)与 HC Macro(47.2)与 Mixed(67.6 / 51.0)只差 2.1pp 与 3.8pp,但 CS Macro 从 83.0 暴跌到 48.4,掉了 34.6pp。也就是说:只用困难样本训练,模型学会了硬约束,却「忘了常识」。机制解释:hard 样本的奖励几乎全部来自 hard constraint 项,commonsense 项因过早饱和而失去梯度权重,策略在常识维度上发生漂移。这直接指出 r_sum 各分量未加权(系数全为 1)的隐患——论文从未讨论奖励分量的加权

3.5 RL 算法消融与成本(表 4)

Scale算法SuccessGPU 小时每步耗时 (min)vs GRPO 性能vs GRPO 成本
1.5BGRPO30.11648.0
1.5BDAPO36.91838.2+6.8pp+11.6%
1.5BARPO37.51959.5+7.4pp+18.9%
3BGRPO48.21768.6
3BDAPO45.61848.9−2.6pp+4.5%
3BARPO47.527313.3−0.7pp+55.1%
7BGRPO62.83689.0
7BDAPO58.43909.5−4.4pp+6.0%
7BARPO58.354713.3−4.5pp+48.6%
相变高亮:ARPO 在 1.5B 上以 +18.9% 的成本换来 +7.4pp;到 7B 上以 +48.6% 的成本换来 −4.5pp。同一个算法,从「性价比极高」翻转为「花钱买性能下降」,跨度只有 4.7 倍参数量。

实践含义:ARPO 这类熵驱动的自适应 rollout 方法,其收益来源是「补偿小模型的探索不足」,而不是「改进了信用分配本身」。ARPO 原文(ICLR 2026 Poster)宣称在 13 个基准上以一半工具预算取得更优结果,但其实验主要在 7B 及以下——STAR 的表 4 实际上给 ARPO 的适用边界画了一条线,而这条线正好落在 ARPO 自己的实验规模附近。这是一个跨论文相互印证 / 相互限制的有趣案例。

3.6 数据规模扫描与环境稳定性

训练 prompt 数In-domain SuccessOOD Avg说明
10037.5未提取到
500未提取到未提取到仅在图 5 中,位图无法读数
1K49.935.0论文认定的 sweet spot
2K50.832.2in-domain 更高,OOD 更低
这是全文最脆弱的证据。「1K 是甜点」这个 Takeaway 4,完全建立在 1K→2K 时 in-domain +0.9pp 而 OOD −2.8pp 这一组数字上。在没有任何标准差、没有多 seed 的情况下,+0.9pp 与 −2.8pp 都在典型 RL 训练方差范围内。这个 Takeaway 的置信度应显著低于 Takeaway 1 和 6(后两者效应量分别是 5.8pp 和 7.4pp/−4.5pp 的方向翻转,鲁棒得多)。

环境稳定性(图 6,仅 3B)

论文文字描述:≤5% 工具失败率下「测试性能相对稳定,仅轻微波动」;10% 时「最终测试成功率显著下降,所有指标同步下滑」,训练曲线(图 6a)表现为收敛更慢、方差更大。

⚠ 我无法读取图 6 的具体数值(该结果没有对应表格)。Takeaway 7 的量化强度无法核实。这也是论文自身的呈现缺陷:五轴中唯一一个只有图没有表的轴。

第四部分 · 价值分析与局限性

4.1 真正的贡献

不是「我们训出了 TravelPlanner SOTA」(62.8% 这个数字会很快被超越),而是建立了「agentic RL 的设计选择是模型容量的函数」这个命题,并用两条独立轴(奖励密度、算法选择)给出同向的经验证据

这个命题改变了论文的阅读方式:此后再看到任何 agentic RL 论文声称「方法 X 优于 Y」,读者的第一个问题应当是「在什么规模上?」STAR 把一个隐含的、几乎从不被报告的实验维度(模型规模)提升为一等公民。

可脱离本文单独复用的设计(按可迁移性排序)

  1. 四级奖励密度阶梯的构造法(micro/macro × 多维度)。任何评估协议本身可分解为多个二值检查项的任务都能照搬:micro = 通过率,macro = 全通过指示,按需组合密度。不依赖旅行规划的任何特性。这是本文最有复用价值的东西。
  2. 超长轨迹的「排除 loss / 保留归一化」处理。适用于任何 group-based RL + 长轨迹的组合。
  3. 拒绝采样保留率作为任务难度的诊断指标。24.0% 提前预告了任务对强教师也很难,可作为「是否需要 SFT 冷启动」的量化判据。
  4. 「算法收益 vs 规模」的对照表格式(表 4)。把 GPU 小时与性能并列,是 agentic RL 论文里少见的诚实做法,应当成为惯例。

对后续工作的启发

4.2 局限性 · 第一类:论文自述(Limitations 章节,原文四点)

  1. 模拟环境:「While TravelPlanner is a challenging testbed, it remains simulated.」
  2. OOD 评估受限:「Our OOD evaluation is currently restricted to the knowledge-intensive QA task. This limits our conclusions to single-domain generalization.」
  3. 更大模型行为未知:「Due to computational constraints, our study focuses on models up to 7B parameters.」
  4. 任务特定分解与单因素分析:「we primarily isolated individual axes, leaving the complex, simultaneous interactions among all dimensions unexplored. Furthermore, our reward shaping relies on task-specific, trajectory-level formulations.」

4.3 局限性 · 第二类:补充批判(8 点独立观察)

① 无统计显著性报告,而多个 Takeaway 依赖 <1pp 的差异 实验设计问题

全文未见任何 std / CI / seed 数。Takeaway 4(1K sweet spot)的全部证据是 1K→2K 的 in-domain +0.9pp;作为对照,Takeaway 1 的效应量是 5.8pp用同一套无方差报告的实验去支撑效应量差 6.4 倍的两个结论,可信度必然是分层的,但论文把七个 Takeaway 平铺并列,未做置信度区分。

② 「7B 上 RL 的 OOD 净贡献仅 +1.0pp」这一关键负面结果被回避 论证缺口

数据链条:7B SFT OOD 41.9 → 最优 RL OOD 42.9(Macro)= +1.0pp;7B Sum 是 36.7 = −5.2pp。论文的 Takeaway 2 表述为「过密奖励带来 alignment tax」,这是一个弱化的、把责任归给单一奖励设计的表述。真实数据支持的是更强的命题:在 7B 上 RL 阶段对 OOD 的期望贡献接近于零,且有一半配置为负。论文用「Macro 提供最优平衡」的正面措辞覆盖了这个事实。

③ 缺少与最直接竞品 Planner-R1 的 head-to-head 缺乏关键竞品对比

Planner-R1 被 STAR 在相关工作中引用,且做的是同一个基准的同一件事,报告 56.9% final-pass rate,仅用 180 条训练 query,8B 模型。STAR 的 7B 最优是 62.8%,代价是 1,198 条教师蒸馏 SFT 轨迹 + 1K 条 RL query ≈ 2,198 条样本——样本量是 Planner-R1 的 12.2 倍,只换来 +5.9pp。STAR 的表 1、表 4 中没有任何一行是 Planner-R1;声称「significantly outperforming leading LLMs」时,比较对象是通用 LLM(Kimi-K2.5 等)而非同类专用方法。

诚实标注:Planner-R1 用 8B 而 STAR 用 7B,SFT 设定也不同,严格意义上不是同一实验条件——但正因如此才更需要受控的 head-to-head,而不是各自报数。

④ 「Curriculum 在 1.5B 最优」与「Curriculum 在 1.5B 的 OOD 最差」构成配方内部矛盾 论证缺口

表 1:1.5B 上 Curriculum 的 Success 是 34.9(第一名)。表 2:同一个 1.5B-Curriculum 的 OOD Avg 是 16.9,全部四种奖励里的最后一名,比第一名 Macro(25.6)低 8.7pp,甚至低于 Sum(24.3)7.4pp。Takeaway 1 建议「小模型用 staged rewards」,Takeaway 2 建议「避免过密奖励以保 OOD」——这两条建议在 1.5B 上直接冲突,且论文没有给出取舍准则。一个只读 Takeaway 不读表 2 的从业者,会为 1.5B 选择 Curriculum,从而拿到全表最差的泛化性。

⑤ KL-free 与「奖励过密」两个因素未被分离 实验设计问题

STAR 的 GRPO 变体同时做了两处改动(移除 KL、clip-high),两者都会放大策略漂移。7B 上 Sum 的 OOD 退化(−5.2pp vs SFT)被归因于奖励密度,但没有 KL-on / KL-off 的对照。缺乏这个对照,「alignment tax 由奖励密度引起」是一个未被隔离验证的因果主张

⑥ 五轴逐一消融,关键结论的实验条件与推荐配置不一致 实验设计问题

论文承认了单因素分析的局限,但低估了代价:表 3(数据难度)和附录表 9(数据规模)都只在 3B + Curriculum 下做。而按 Takeaway 1,Curriculum 恰恰不是 7B 的最优奖励。因此「Mixed 4:3:3」和「1K sweet spot」这两个结论是在一个已知对 7B 不最优的配置下得到的,其向 7B 的可迁移性缺乏任何证据。这不是抽象的「交互未探索」,而是具体的条件错配。

⑦ 环境稳定性轴只有图、无表、单一模型规模、单一噪声形态 可复现性风险

五轴中唯一没有表格的一轴。仅在 3B 上测试,仅测「全局随机工具调用失败」一种噪声。真实 API 的失效形态包括超时、部分返回、脏数据、限流——随机失败是「无信息」,脏数据是「错误信息」,后者对策略的毒害更大。Takeaway 7 作为工程指导,外部效度非常有限。

⑧ 教师模型性能未报告,无法判断 RL 是否超越了蒸馏上限 论证缺口

SFT 轨迹来自 DeepSeek-V3.2-Exp-Thinking,拒绝采样保留率 24.0%。但论文从未报告教师在 TravelPlanner 官方测试集上的成绩。7B-Sum 的 62.8% 究竟是「学生超越教师」还是「教师本来就更高」,读者无从判断。若教师本身能拿 60%+,STAR 的全部工作可以被重新描述为「把大模型能力压缩进 7B」,RL 的角色就从「能力创造」降级为「蒸馏效率优化」。

⑨ 我自己分析的不完备之处

第五部分 · 相关工作回溯

5.1 TravelPlanner — 2024.02(v4: 2024.10),ICML 2024 Spotlight

解决了什么问题。在 LLM agent 评估普遍依赖单步工具调用或短程 QA 的时期,TravelPlanner 构造了第一个同时要求长序列工具编排与多约束联合满足的真实感规划基准:1,225 条规划意图、近 400 万条沙箱记录、双维度评估协议。一句话:它把「LLM 能不能做真正的规划」这个模糊问题,变成了一个 0.6% 的数字。

遗留了什么缺口。这是一篇纯诊断论文。它证明了 0.6%,定性指出三类失败模式,但无意提供任何训练方法。留下的缺口极其明确:这个 0.6% 该怎么涨?更微妙的是,它设计的双维度四级评估协议本身是一个未被使用的资源——这套 micro/macro 分解在原文中只是评估工具,没人意识到它可以直接充当奖励函数的密度旋钮。

核心工作如何回应。STAR 做了两件事:把 0.6% 推到 62.8%;把 TravelPlanner 的评估协议直接重用为奖励基元。五个奖励分量全部是 TravelPlanner 原生的评估分量——四档奖励密度阶梯不是设计出来的,是从基准的评估协议里「读」出来的

关键设计的传递。从「评估协议」到「奖励函数」的直接转译——一次功能重定义而非技术改进:同一组公式,2024 年是打分表,2026 年是训练信号。这条路径也解释了为什么 STAR 的奖励塑形「是 task-specific 的」。

5.2 Search-R1 — 2025.03(v5: 2025.08)

解决了什么问题。把 R1 式纯 RL 训练首次系统性扩展到「推理与工具调用交错」场景。两个关键技术选择:retrieved token masking(检索回的 token 不参与 policy gradient,避免学会复述)与纯 outcome-based reward。7 个 QA 基准上 Qwen2.5-7B 相对提升 41%,3B 提升 20%。

遗留了什么缺口。两个,都致命于长视野场景:(1) 单工具、短视野——典型轨迹 1–3 次调用,outcome reward 能工作的前提是 base 初始成功率显著大于 0(QA 上 Qwen2.5-7B base 有 18.1%);在 TravelPlanner 上同样的 base 只有 0.1%,纯 outcome reward 直接退化为零梯度。(2) 奖励密度这一维度从未被审视——因为 outcome reward 在它的设定下够用了。

核心工作如何回应。STAR 的整条奖励密度轴本质上是对 Search-R1 隐含前提的正面攻击:outcome reward 的可用性取决于初始成功率,而初始成功率取决于任务视野长度。表 1 的 Success 列在三规模上是 33.8 / 46.6 / 60.9——它能工作,但必须先有 SFT 冷启动把成功率从 0.0% 抬到 6.9%–19.7%。这是对「纯 RL 无需 SFT」这一 R1 叙事的一个具体边界条件。同时 STAR 把 Search-R1 当作 OOD 基线,但如第三部分所指出,7B-SFT 单独就已经赢了,胜利归功于蒸馏而非 RL

关键设计的传递。「outcome reward 作为默认起点」被继承,但被降级为四个选项之一——从「方法」到「设计维度」的抽象层级提升。

5.3 DAPO — 2025.03(v2: 2025.05),ByteDance Seed

解决了什么问题。在 o1 / R1 技术细节被隐藏的背景下完整开源了一套大规模 RL 系统,Qwen2.5-32B base 在 AIME 2024 拿到 50 分,超过此前 SOTA DeepSeek-R1-Zero-Qwen-32B 的 47 分,且只用 50% 训练步数。四项核心技术:Clip-Higher(解耦裁剪边界,防熵坍缩)、Dynamic Sampling(过滤零梯度样本)、Token-Level Policy Gradient LossOverlong Reward Shaping

遗留了什么缺口。四项技术全部为单轮长 CoT 数学推理设计。迁到多轮工具交互时每项前提都需重检:Clip-Higher 防的是熵坍缩,但多轮 agentic 场景的熵还来自工具返回的外部随机性,多给的探索空间可能被环境噪声吃掉;Overlong Reward Shaping 的软惩罚在 9.2 步轨迹上如何分配到各步,DAPO 没有答案。最关键:DAPO 的验证全部在 32B 上,从未回答「这套技术在 1.5B 上是否同样有效、在 7B 上是否已经多余」

核心工作如何回应。两层。表层:DAPO 作为算法轴选项进表 4,得到「1.5B 上 +6.8pp,7B 上 −4.4pp」的规模依赖结论。深层:STAR 的 GRPO 基线本身就吸收了 DAPO 的两项技术(KL-free 与 clip-high 写进默认配置)——DAPO 在 STAR 里同时扮演对照组基础设施两个角色。

关键设计的传递。Clip-Higher → STAR 默认配置(无条件继承);Overlong Reward Shaping → 「排除 loss / 保留归一化」(形态改变);Dynamic Sampling → 被 STAR 通过「数据难度均衡」在数据层而非算法层实现。第三条最有意思:同一个问题(零梯度样本浪费),DAPO 在算法里解决,STAR 在数据配比里解决。

5.4 ARPO — 2025.07,ICLR 2026 Poster

解决了什么问题。最接近 STAR 问题域的前驱。关键观察是一个具体经验现象:LLM 在工具调用返回之后,紧接着的 token 熵会显著升高——工具返回是不确定性的注入点。据此设计 entropy-based adaptive rollout(高熵步动态增加 step-level 采样)配合 advantage attribution estimation。结果:13 个基准更优,且只用现有方法一半的工具调用预算

遗留了什么缺口。整个设计建立在「探索不足是主要瓶颈」这个假设上。这个假设在它自己的实验规模(主要 7B 及以下)里成立,但 ARPO 没有把模型规模作为自变量来检验这个假设的边界,隐含地把「更聪明的探索」当成单调有益的东西。

核心工作如何回应。表 4 给出直接反例:1.5B +7.4pp(+18.9% 成本)→ 3B −0.7pp(+55.1% 成本)→ 7B −4.5pp(+48.6% 成本)。ARPO 的收益在 1.5B→3B 之间就已翻转为负。STAR 由此提出 Takeaway 6:「对复杂探索机制的需求,与模型能力成反比。」这是一个对抗性而非继承性的回应——STAR 不是在 ARPO 基础上改进,而是给 ARPO 的适用范围划了一条上界,而这条上界恰好落在 ARPO 自身实验规模的内部

关键设计的传递。技术迁移形态:从「显式的步级探索调度」→「隐式的容量驱动探索」

5.5 Planner-R1 — 2025.09(v2: 2025.10),ICLR 2026 Under review

解决了什么问题。与 STAR 最直接对撞的工作:同一个基准、同一个主张。结果:56.9% final-pass rate,仅用 180 条训练 query;8B 模型达到与 32B 相当的性能,计算效率高 3.5 倍、显存效率高 1.5 倍;相对 GPT-5 的 21.2% 基线提升 2.7 倍;在 Multi-IF、NaturalPlan、τ-Bench 等 OOD 任务上「大体维持或超过基线」。

遗留了什么缺口。(1) 单一规模的验证——只有 8B 与 32B 两个采样点,无法刻画趋势形状;(2) 代码未公开(我未检索到公开仓库),可复现性存疑;(3) 主张「reward shaping 是主要杠杆」,但没有把 RL 算法选择作为对照轴,无法排除「收益其实来自算法而非奖励」。

核心工作如何回应。STAR 用三个采样点把 Planner-R1 的两点观察扩展为一条曲线,并在奖励轴之外补上算法轴、数据轴、环境轴——是 Planner-R1 的严格超集式验证。但也正因如此,STAR 不与 Planner-R1 做 head-to-head 是一个严重缺失:按公开报数,Planner-R1 用 180 条 query 拿 56.9%,STAR 用 ≈2,198 条样本拿 62.8%。若 Planner-R1 的样本效率属实,STAR 的「comprehensive recipe」在数据效率维度上是被同期工作压制的——而这个维度恰是 STAR 自己 Takeaway 4 所主张的核心价值。

关键设计的传递。「dense process-level reward 对小模型更有效」被 STAR 完整复现并精细化。迁移形态:从「两点对比的定性结论」→「三点曲线上的相变定位」

第六部分 · 技术演进脉络

2023 · ReAct [推理与行动交错,prompt 驱动,无学习信号] │ │ 缺口:agent 只会"被提示",不会"被训练" ▼ 2024.02 · TravelPlanner (ICML'24 Spotlight) [长视野 + 多约束基准 | GPT-4 = 0.6% | 双维四级评估协议] │ │ 缺口:诊断出了 0.6%,但没给出训练路径 │ 伏笔:评估协议本身可当奖励函数用(无人使用) ▼ ┌─────────────────────┴──────────────────────┬────────────────────┐ │ │ │ 2025.03 · Search-R1 2025.03 · DAPO 2025.07 · ARPO (ICLR'26) [RL + 检索交错] [大规模 RL 系统] [熵驱动自适应 rollout] [outcome reward] [Clip-Higher] [advantage attribution] [token masking] [Dynamic Sampling] [半个工具预算] [7B +41% / 3B +20%] [AIME24: 50 vs 47] │ [50% 训练步数] │ │ │ │ 缺口:单工具短视野 缺口:单轮长 CoT 缺口:假设"探索不足" outcome reward 依赖 32B 单点验证 恒为瓶颈;未测规模 初始成功率 >> 0 未测小模型 │ │ │ │ │ 2025.09 · Planner-R1 (ICLR'26 under review) │ [TravelPlanner 上的 reward shaping] │ [56.9% @ 180 queries | 8B ≈ 32B] │ [3.5× compute / 1.5× memory 效率] │ │ │ 缺口:仅 8B/32B 两点;代码未公开 │ 未做算法轴对照 └──────────────────┬───────────┴────────────────────┘ │ 各自补全一个维度,但都是单轴 ▼ ═══════════════════════════════════════════════════════════ 2026.03 · Agent-STAR [汇聚点] 五轴受控消融:奖励 × 规模 × 数据 × 算法 × 环境 核心命题:设计选择是模型容量的函数,不是常量 · 奖励轴翻转点:3B→7B(Curriculum → Sum,差 5.8pp) · 算法轴翻转点:1.5B→3B(ARPO +7.4pp → −0.7pp) · 7B SOTA: 62.8%(vs GPT-4 0.6% / Kimi-K2.5 <15%) ⚠ 未测轴:OOD 净增益随规模趋零(+14.1 → +4.3 → +1.0pp) ═══════════════════════════════════════════════════════════

演进的内在逻辑

推动力可以概括为一句话——从「让 agent 会做」到「让 agent 学会做」再到「知道该怎么教」

社区关注点的三次转移

  1. 准确率 → 数据效率:Search-R1 报相对提升,Planner-R1 报「180 条 query」,STAR 报「1K sweet spot」。样本预算从背景信息升格为一等指标。
  2. 性能 → 性能/成本比:STAR 表 4 把 GPU 小时与 Success 并列;ARPO 的「半个工具预算」是同一趋势的早期信号。
  3. in-domain → 泛化税:这一转移尚未完成。STAR 是第一批系统报告 OOD 退化的工作,但如第三部分所示,它自己的数据支持一个比它承认的更强的结论。这是脉络的下一个转折点,目前还没有论文站上去。
一个反向的观察。这条演进线上有一个隐含的、未被检验的共识——所有工作都默认「更好的 RL = 更好的 agent」。而 STAR 的表 2 提供了第一份反证材料:在 7B 上,RL 阶段对 OOD 的净贡献是 +1.0pp,而 SFT 蒸馏阶段的贡献是 +23.8pp(18.1 → 41.9)。如果这个比例在更大规模上继续恶化,整条演进线的价值主张需要被重新论证。

第七部分 · 相关工作表格对标

工作年月会议 / 出版核心贡献关键指标与核心工作的关系
ReAct2022.10ICLR 2023推理-行动交错范式范式源头(仅在脉络中提及)
TravelPlanner2024.02ICML 2024 Spotlight长视野多约束基准 + 双维四级评估协议GPT-4 = 0.6%;1,225 intent问题来源;评估协议被重用为奖励基元
Search-R12025.03arXiv(有 OpenReview)RL + 检索交错;token masking7B +41% / 3B +20%技术来源 + OOD 基线
DAPO2025.03arXiv(ByteDance Seed)四项大规模 RL 技术AIME24 50 vs 47,50% 步数基础设施 + 对照组
ARPO2025.07ICLR 2026 Poster熵驱动自适应 rollout + 优势归因13 基准更优,半个工具预算被 STAR 划定适用上界:1.5B +7.4pp → 7B −4.5pp
Planner-R12025.09ICLR 2026 Under reviewTravelPlanner 上的 reward shaping56.9% @ 180 queries;8B ≈ 32B最直接竞品,但 STAR 未做 head-to-head
Agent-STAR2026.03arXiv 预印本五轴受控消融;scale-dependent 配方7B = 62.8%;ARPO 收益翻转汇聚点
表格读法:从上到下,「关键指标」一列的性质在变化——从「任务分数」(0.6%)到「相对提升」(+41%)到「效率比」(半个预算、50% 步数、180 queries),再到 STAR 的「翻转点」(+7.4pp → −4.5pp)。指标语言本身记录了这个子领域的成熟过程。

第八部分 · 开放挑战与研究机会

8.1 理论层面

① RL 的 OOD 净贡献是否随模型容量单调趋零?交点在哪?

可直接执行的实验:在 1.5B / 3B / 7B / 14B / 32B 五个规模上,固定 SFT 数据与 RL 数据,只测「最优 RL 配置的 OOD 均分 − SFT 的 OOD 均分」。STAR 的三点已给出 +14.1 / +4.3 / +1.0,外推预测 14B 处为负。若交点确实在 10B 量级,工业界当前在 30B+ 模型上做 agentic RL 的 OOD 代价需要被定价。高价值、低门槛——复用 STAR 的开源 pipeline 即可,只需扩展两个规模档。

② 奖励分量的加权是否比奖励密度更重要?

STAR 的 r_sum 五个分量系数全为 1。表 3 的 Hard-1K 显示,数据分布偏移时 CS Macro 崩塌 34.6pp 而 HC 分量几乎不动——暗示各分量的有效梯度权重是被数据分布而非奖励系数决定的。具体实验:固定 Mixed-1K,扫描 r = α·s_cs^micro + β·s_cs^macro + γ·s_hard^micro + δ·s_hard^macro + ε·s^success 的系数单纯形,看 Success 响应面是否存在优于 (1,1,1,1,1) 的点,以及最优点是否随规模移动。这能把「奖励密度」这个一维旋钮拆成五维,检验 Takeaway 1 是不是降维投影下的伪相变。

③ 「容量替代探索」的机制解释缺失

STAR 给出了现象,没给出机制。可操作检验:测量 1.5B / 3B / 7B 在 rollout 时的组内轨迹多样性(如工具调用序列的编辑距离方差)。若假说成立,7B 的 GRPO 组内多样性应已接近或超过 1.5B 的 ARPO 组内多样性。这是一个不需要新训练的直接测量。

8.2 工程与应用层

④ Planner-R1 vs Agent-STAR 的受控 head-to-head

全领域最明确的实验空白。建议设定:相同 base(Qwen2.5-7B)、相同 GPU 预算、相同测试划分,横轴为总监督样本预算(180 / 500 / 1K / 2198),纵轴为 Success 与 OOD 均分。两条曲线的交点位置将直接回答「reward shaping 的样本效率优势能撑到多大预算」。目前双方各自报数(56.9% @ 180 vs 62.8% @ 2198),无法判断是方法差异还是预算差异

⑤ 环境噪声的形态学基准

STAR 只测了「随机全局失败」。真实工具失效至少四种形态,毒性不同:

噪声形态语义预期毒性
随机失败(STAR 已测)无信息低——模型可学会重试
超时 / 限流无信息 + 时序耦合中——影响规划节奏
部分返回(截断)不完整信息中高——模型不知道自己不知道
脏数据(错误但格式正确)错误信息高——直接污染约束校验

具体机会:构造可配置的噪声注入层,对四种形态各扫 0/5/10/20%,产出一张 4×4 的鲁棒性矩阵。这类「环境侧基准」目前完全空白,且门槛很低——STAR 的沙箱已开源。

⑥ 在线 / 流式设定下的配方是否变化?

现有全部工作都是离线固定数据集的设定。但真实 agent 部署是流式的——任务持续到来,难度分布随时间漂移。具体问题:当难度分布随时间漂移时,「Mixed 4:3:3」静态配比是否仍最优?还是需要一个自适应难度采样器(如按当前策略成功率反向加权)?可在 STAR 框架里直接实例化:把 1K prompts 拆成 10 个 batch 按不同难度序送入,对比静态混合与自适应采样。

⑦ 教师上限的量化

接批判第 ⑧ 点。具体实验:报告 DeepSeek-V3.2-Exp-Thinking 在 TravelPlanner 官方测试集上的 Success,计算「蒸馏效率比」= 62.8% / 教师成绩。若比值 > 1,RL 确实创造了教师没有的能力;若 < 1,整个 pipeline 应被重新定位为压缩而非训练。成本极低,但对结论解释的影响极大。

8.3 新兴方向

⑧ 多模态长视野工具编排的奖励分解

STAR 的四级密度阶梯依赖「评估协议可分解为二值检查项」这个前提。在多模态 agent(GUI 操作、具身导航)里,成功判定往往是连续的或需要 VLM 裁判——micro/macro 的分解怎么定义?具体问题:当 macro 指示函数由一个有噪声的 VLM judge 给出时,指示函数的跳变会被 judge 噪声抹平,r_sum 的「临门一脚」激励是否失效?这是把 STAR 方法论迁到具身/GUI 领域必须先回答的问题。

⑨ 「配方随规模变化」是否也适用于 SFT 阶段?

STAR 只在 RL 阶段做了规模消融,SFT 阶段(1,198 条轨迹)对三个规模完全相同。但表 1 显示 SFT 后的起点差异巨大(6.9 / 12.2 / 19.7)。具体机会:对 1.5B 是否应该用更多但更简单的 SFT 轨迹,对 7B 是否应该用更少但更难的?即把「数据难度配比」轴从 RL 阶段前移到 SFT 阶段。

⑩ 长视野 agent 的遗忘与安全边界

KL-free 训练意味着策略可任意漂离 SFT 分布。在 in-domain 提升 43.1pp 的同时,模型损失了什么?STAR 只测了 QA 类 OOD。具体机会:在 STAR 的 checkpoint 上跑安全性 / 指令遵循 / 拒答一致性评测(如 Multi-IF、有害指令拒绝率),量化 agentic RL 的「对齐漂移」。六个 checkpoint 已全部开源,这是一个可以在一天内完成的实验,且目前没有任何 agentic RL 论文报告过这类数据

第九部分 · 其他值得关注的近期工作

以下为本期候选池中未展开的工作。未深读,评价基于摘要与检索信息,请以原文为准。

Agentic Reinforced Policy Optimization (ARPO) — 2025.07,ICLR 2026 Poster

本报告的相关工作之一,但作为独立方法仍值得单读:「工具返回后 token 熵升高」这个观察本身就是可复用的诊断信号,与 STAR 的批判并不冲突——ARPO 在小模型上的 +7.4pp 是真实的。
arXiv | Code | ICLR 页

A Practitioner's Guide to Multi-turn Agentic Reinforcement Learning — 2025.10,NeurIPS 2025

与 STAR 同属「配方类」实证研究,但侧重多轮交互的一般设定而非单一基准。与 STAR 对读可检验 scale-dependence 结论的跨任务稳健性——这正是 STAR 自己承认的 OOD 评估局限。
arXiv | NeurIPS 页

Rethinking Agentic Reinforcement Learning In Large Language Models — 2026.04,arXiv

从标题看是对 agentic RL 基本假设的系统性质疑,与本报告推导出的「RL 的 OOD 净贡献趋零」可能形成呼应。值得优先核实其是否报告了 OOD 对照数据。
arXiv

From Reasoning to Agentic: Credit Assignment in RL for LLMs — 2026.04,arXiv

信用分配是 9.2 步长轨迹的核心难题,而 STAR 的整条奖励轴其实是在用「密度」绕开「分配」。这篇正面处理分配问题,是 STAR 的补集。
arXiv | HF Papers

RL for LLM-based Multi-Agent Systems through Orchestration Traces — 2026.05,arXiv

把 STAR 的单 agent 长视野问题扩展到多 agent 编排。若 scale-dependence 在单 agent 上成立,多 agent 场景下「每个 agent 该多大」就成了一个新的设计维度。
arXiv

Benchmarking and Improving GUI Agents in High-Dynamic Environments — 2026.04,arXiv

直接对应本报告 8.2 第 ⑤ 点提出的「环境噪声形态学」空白,只是场景在 GUI 而非工具 API。是那个研究机会的一个已有落点,值得先看它做到了哪一步。
arXiv

Finetuning VLA Models Requires Fewer Layers Than You Think — 2026.06,arXiv

具身方向。与 STAR 共享同一种论证结构——「大家默认要做的事其实不必做」。两篇一起读,能看出 2026 年这一批实证研究共同的「减法」倾向。
arXiv

Planner-R1: Reward Shaping Enables Efficient Agentic RL with Smaller LLMs — 2025.09

已在第五部分展开,此处重列因为它是验证 STAR 结论最直接的对照材料,其 180-query 的样本效率主张若成立,影响远超 TravelPlanner 一个基准。
arXiv | OpenReview