← 返回 2026-11-03

TinyAstral:将自进化智能体框架迁移至小型通用机器人操作智能体 TinyAstral: Transferring Self-Evolving Harnesses to Tiny Generalist Manipulation Agents

Kehong Gong, Xiaoxu Zheng, Guanli Hou, Seunghun Lee, Mengqi Guo, Runjia Tan, Zhengyu Wen, Qi Wang, Xiaoyu He, Mingyuan Zhang, Michael Bi Mi 📅 2026-10-30 👍 4 2026-11-09 18:30
具身智能 智能体脚手架 机器人操作 知识蒸馏 统计假设检验 递归自我改进

先用统计门控进化冻结教师的harness,再蒸馏进0.8B–4B学生,以约五分之一算力逼近教师

前置知识

Harness(智能体脚手架)

围绕规划模型的系统工程层,包括工具接口(定位、抓取、放置、校验等原语)、结构化反馈、任务记忆与失败恢复逻辑。模型每轮输出一段推理和恰好一次工具调用,harness 负责执行调用并返回测量结果(如 OFF_TARGET 加偏移量),而不是模型想要的结果。

本文的核心主张是性能提升发生在 harness 而非模型权重,教师与学生学习的是同一套 harness。不理解 harness 的构成,就无法理解进化和蒸馏的对象到底是什么。

递归自我改进(RSI)

系统读取自身的执行轨迹,分析失败原因,提出对自身代码或组件的修改,验证通过后采纳,循环往复使性能逐轮提升。经典工作包括 STOP、Gödel Agent、Darwin Gödel Machine 等,近年 PhysEvo、RoboRSI 将其引入机器人领域。

本文第一阶段就是一个 master 引导的 RSI 循环,但改进对象被严格限定为 harness,且每步修改必须通过预注册的统计检验,这是理解 Stage 1 的框架。

配对统计检验(paired A/B test)

在完全相同的(任务,种子)配对上运行新旧两个版本,计算逐对增益,用任务聚类的 bootstrap 估计置信区间;只有增益的单侧 97.5% 置信下界为正且净胜场为正才接受新版本,同时检查未触发集合上是否回归。样本数预先固定,还可设无效性中止。

这是本文防止虚假改进、保证每次 harness 升级都真实有效的关键机制,也是它区别于以往自进化工作可信度来源的核心。

智能体蒸馏(agent distillation)

用强教师智能体的完整轨迹(观察、推理文本、工具调用)作为监督数据微调小模型,让学生学会在环境中推理与行动,而不是只模仿最终动作。代表工作有 FireAct、AgentTuning、Guava 等。

Stage 2 的本质。理解它与普通 SFT 的差别——保留教师的思考文本、加入失败恢复分支——是读懂消融实验(去掉推理文本掉 19.3 pp)的前提。

严格成功率(strict success)

只有当智能体主动调用 done 结束回合、且基准的终态谓词(如 on(a,b)、lifted(a, 10cm))在最终状态成立时才计为成功;中途曾经达标但后来被破坏的不算,结果未定的回合也计为失败。与之相对的是 ever success(任何时刻达成过即算)。

这是论文的主指标。各系统的数字必须先对齐口径才能比较,例如未训练 4B 在 LIBERO-PRO 有 63/300 回合结局未定,其宽松口径分数会显著虚高。

恢复分支(recovery branch)

一种数据合成技术:从成功教师轨迹确定性回放前 k 步工具调用,注入受控扰动(物体滑落、位置移动、抓取失败等),让教师在扰动后在线继续并恢复成功,仅当扰动生效、回放结果逐码一致且最终仍成功时才保留这段数据。

成功轨迹几乎不展示如何应对失败,恢复分支是学生学会容错行为的关键监督来源,也是理解蒸馏数据构成的重要一环。

研究动机

基于视觉-语言模型的机器人操作智能体,性能由中央规划器和包围它的 harness(工具接口、反馈、任务记忆与恢复逻辑)共同决定。现有两条路线互不相通:harness 进化路线(PhysEvo、RoboRSI 等)在冻结大模型周围迭代改进系统,但 SenseNova-RoboRSI 仍需 27B VLM 承载能力,推理开销大;智能体蒸馏路线(Guava、PyRUA-Lean 等)把强模型轨迹蒸进 4B–9B 小模型,但 harness 是人工设计、未经系统进化。小模型的困境有直接数据:未训练的 Qwen3.5-4B 即使放进最终进化 harness H*,在 RoboTwin-50 上只有 41.2%,LIBERO-PRO 上仅 36.3%;而约 180B 的教师在同一 harness 下分别达到 63.6% 与 80.0%。部署侧差距悬殊:教师每集消耗 123.8 加速器·秒,DeepSeek 达 249.6。核心问题是:harness 进化的系统级增益能否转移进一个小得多的学生模型,让改进后的系统以低得多的推理成本运行?

本文的目标是本文目标是打通一条「先进化、后蒸馏、同框架部署」的完整流水线。第一阶段冻结开源教师 Qwen3.8-Flash-Next(约 180B)的权重,由一组前沿 LLM 智能体组成 master 引导递归自我改进:人类预先指定规则与预算,master 阅读教师失败轨迹、提出 harness 编辑,每项编辑必须通过预注册的配对统计检验才能接受,把教师在 RoboTwin 上的严格成功率从 33.4% 大幅提升。第二阶段冻结最终 harness H*,采集包含推理过程与失败恢复的教师轨迹,混合离线真机监督,训练 0.8B、2B、4B 三个学生,部署时学生原位替换教师。可检验的定量目标包括四条:学生在各训练基准上逼近教师(差距控制在几个百分点内);增益随 harness 版本单调传递(在 H1、H7、H16、H* 四个快照分别蒸馏验证);同一进化 harness 能提升其他冻结规划器(DeepSeek-V4.1-Flash 与未训练 4B);最终学生以约五分之一的教师推理算力(25.3 对 123.8 加速器·秒)在六个基准上保持有竞争力的成功率。

与已有工作不同的是,本文的独特切入是把两条独立线路串接起来并系统验证「传递性」。已有 harness 进化工作止步于改进大模型周围的系统;已有蒸馏工作从人工设计或单次进化的 harness 采轨迹训练小模型,没有人问「harness 的持续进化能否被小模型继承」。TinyAstral 的差异有三:第一,被进化的对象是本地托管的开源权重教师,harness 在预注册配对统计选择下持续进化,并维护完整能力台账(296 个候选能力、121 项采纳、142 项拒绝、17 项未决),而非一次性改进;第二,在 H1、H7、H16、H* 四个冻结快照处用相同配方独立蒸馏学生,得到 36.2%、49.8%、60.0%、62.8% 的单调曲线,把「系统级改进可否蒸馏」从轶事变成可复验的证据;第三,同一进化 harness 使从未参与进化的 DeepSeek-V4.1-Flash 提升 30.6 pp、未训练 4B 提升 26.6 pp,说明增益写在 harness 里而非某个特定模型里。此外,配对 A/B 检验、终态严格成功判定、选择种子与评测种子隔离的协议,也比多数自进化工作的验收方式严格得多。

核心方法

直觉上,机器人智能体的可靠性很大部分来自外围系统:诚实报告测量结果的工具、清晰的失败码、任务记忆与出错后的恢复逻辑,这些都能在不改模型权重的前提下改进。TinyAstral 据此设计两阶段流水线。第一阶段(进化):冻结约 180B 的教师 Qwen3.8-Flash-Next,master(一组前沿 LLM 智能体)读取教师在开发种子上的完整轨迹,把失败归入十类(脱靶放置、虚假完成、缺失原语、任务记忆错误、实例误识别等),针对性提出 harness 编辑;候选编辑在约 1,150 个预注册(任务,种子)配对上与当前版本 A/B 对比,统计门槛通过才合并,快照由 H1 经 H7、H16 演进到 H*。第二阶段(蒸馏):冻结 H*,教师在其上采集 83,753 个决策样本,包括主轨迹与注入扰动后的恢复分支,再混入从 Open X-Embodiment 真机数据转写的三个辅助任务(状态/失败判断、子目标规划、下一工具调用),全参数微调 Qwen3.5-4B 两个 epoch 得到学生。部署时学生以 bf16 单卡原位替换教师进入同一冻结 harness,工具、反馈、记忆与恢复逻辑零成本继承。

核心创新是把「可进化资产」从模型权重转移到 harness,并用统计证据保证每次进化都真实。与 STOP、Gödel Agent、Darwin Gödel Machine 等让模型改写自身代码的工作不同,TinyAstral 中教师权重全程冻结、master 不操作环境,只有 harness 在变;与 GEPA 的提示进化不同,这里进化的是工具接口、反馈语义、任务记忆与恢复逻辑。接受机制是本质区别:每项编辑必须在相同(任务,种子)配对上胜过父版本——要求目标簇上任务聚类 bootstrap 的单侧 97.5% 增益下界为正且净胜场为正,同时在编辑未触发的集合上回归达 2 pp 即否决,半程还有无效性中止(条件功效低于 10% 即停)。这把「自我改进是否真实」变成可证伪的假设检验,而非靠单次评测或自报告。第二个关键想法是「同框架蒸馏」:学生不重新发明 harness,而是原封不动继承 H*,工具语义、反馈格式、恢复流程零成本转移,学生只需学会在其中决策。这解释了为什么 4B 学生(62.8%)能逼近 180B 教师(63.6%)——智能体能力的大头原本就住在 harness 里。

方法步骤详情

流程分六步。第一步,接口与指标:规划器 $\pi$ 每轮接收观察 $o_t$,输出推理与一次工具调用;严格成功率 $S$ 只在调用 done 且终态谓词成立时计成功。第二步,RSI 循环:master 读轨迹把失败归入十类,对目标簇写候选组件;编辑必须通用且经审计确保未触发时与父版本逐步一致,再在预注册配对上统计裁决。第三步,沿 H1→H7→H16→H* 迭代,采纳 121/296 个候选能力。第四步,冻结 H* 采集教师数据:覆盖全部 RoboTwin 与部分 Guava/LIBERO 任务,只保留终态成功 episode;另构造恢复分支——回放成功轨迹前 k 步并注入扰动(物体滑落、移位等),仅当扰动生效、回放逐码一致且教师仍成功才保留。第五步,混入真机辅助任务:由真机数据集转写出 27,918 条状态判断、4,187 条子目标、9,771 条下一调用样本。第六步,训练部署:共 83,753 个决策样本,损失只加在最后一个 assistant turn,全参数微调 Qwen3.5-4B 两个 epoch(学习率 $10^{-5}$),视觉编码器冻结;学生 bf16 单卡替换教师。

技术新颖性

技术新颖性体现在四处。第一,进化对象与验收协议的组合:以往自进化工作要么不设统计门槛(靠单次评测或自报告),要么改进的是提示或技能库;本文把工具接口、反馈语义、任务记忆、恢复逻辑当作可进化代码,用方向筛查(目标簇增益 95% 上界低于 +2 pp 即丢弃)、预注册配对检验、无效性中止层层把关,全程维护能力台账(296 候选、121 采纳、142 拒绝、17 未决),最终 H* 含 101 项能力。第二,跨快照蒸馏协议:在四个版本用相同配方从同一 4B 检查点独立训练学生,把「系统级改进可否蒸馏」变成可复验的单调曲线(36.2→49.8→60.0→62.8),此前工作从未提供这种传递性证据。第三,恢复分支数据合成:确定性地回放成功轨迹前 k 步、注入受控扰动、要求回放结果逐码一致且教师仍成功才保留,为小模型提供了成功轨迹中几乎不存在的容错监督。第四,真机数据的 harness 格式转写:把 Open X-Embodiment 轨迹按最终 harness 的观察与历史格式渲染成工具调用序列,让学生在真机图像上以同一接口学习,真机下一调用准确率从 0.235 提升到 0.923。

Overview of TinyAstral.
Figure 2: Overview of TinyAstral.

实验结果

证据链分四组。其一,进化有效且跨规划器:教师从 33.4% 升至 63.6%(+30.2 pp);未参与进化的 DeepSeek 从 32.8% 升至 63.4%(+30.6 pp);未训练 4B 从 14.6% 升至 41.2%(+26.6 pp)。其二,增益可蒸馏:各版本 4B 学生得 36.2%、49.8%、60.0%、62.8%,均紧贴对应教师。其三,端到端对比:学生紧贴教师(差 0.8/1.1/1.7 pp),未见基准与教师差 ≤5.0 pp、与 552B DeepSeek 差 ≤2.4 pp;同题配对下超过所有开源对手——教师入 Guava harness 仅 78.9(学生 93.6),入另两家竞品 harness 仅 57.3/53.0(学生 78.3),27B 的 SenseNova-RoboRSI 仅 70.3。其四,消融与成本:去教师推理文本使 LIBERO-PRO 掉 19.3 pp;真机数据把离线下一调用准确率从 0.235 提到 0.923(仿真成功率无显著变化);部署每集 25.3 加速器·秒,为教师 1/4.9、DeepSeek 1/9.9。

Transferring harness evolution gains across planners and into students.
Table 1: Transferring harness evolution gains across planners and into students.
Performance on six benchmarks (success %).
Table 2: Performance on six benchmarks (success %).
Distillation recipe ablations on the final 4B student.
Table 3: Distillation recipe ablations on the final 4B student.
Deployment cost on 20 shared SimplerEnv episodes.
Table 4: Deployment cost on 20 shared SimplerEnv episodes.
All runs on the training benchmarks (%).
Table 5: All runs on the training benchmarks (%).
Per-episode tool-call limits of our harness.
Table 6: Per-episode tool-call limits of our harness.
Published results on our six benchmarks (success %).
Table 7: Published results on our six benchmarks (success %).
Accepted harness snapshots.
Table 8: Accepted harness snapshots.
TinyAstral transfers harness evolution gains to tiny robot agents.
Figure 1: TinyAstral transfers harness evolution gains to tiny robot agents.
TinyAstral-4B recovers on its own (original evaluation runs, final harness H*).
Figure 3: TinyAstral-4B recovers on its own (original evaluation runs, final harness H*).
More recoveries of TinyAstral-4B (conventions as in Fig. 3).
Figure 4: More recoveries of TinyAstral-4B (conventions as in Fig. 3).
查看结构化数据
任务指标本文基线提升
RoboTwin-50(训练基准,500 集) 严格成功率 strict success (%) TinyAstral-4B 62.8%(教师 63.6%,教师进化增益 +30.2 pp) 未训练 Qwen3.5-4B 于 H*:41.2%;H1 教师:33.4% 比未训练 4B +21.6 pp;harness 进化使教师 +30.2 pp
Guava(训练基准,450 集,8 任务未见) 严格成功率 strict success (%) 93.6%(教师 94.7%) Guava-4B 同题 84.4%;Qwen3.8-Flash-Next 于 Guava 官方 harness 78.9% 对未训练 4B(75.1%)+18.5 pp;对学生入自家 harness 比教师入 Guava harness +14.7 pp
LIBERO-PRO(训练基准,300 集,含四种扰动) 严格成功率 strict success (%) 78.3%(教师 80.0%) SenseNova-RoboRSI-27B 70.3%;未训练 4B 36.3%;MotorMind+同教师 57.3% 对未训练 4B +42.0 pp;对 27B 开源 RSI 模型 +8.0 pp
SimplerEnv Google VM(零样本,960 集之一) 官方成功率 (%) 66.6%(教师 69.2%,552B DeepSeek 68.0%) π0-FAST(Fractal 微调)61.9%;未训练 4B 56.6% 蒸馏对未训练 4B +10.0 pp;与教师差仅 2.6 pp
SimplerEnv WidowX(零样本) 官方成功率 (%) 88.5%(教师 92.7%) π0-FAST(Bridge 微调)32.1%;未训练 4B 86.5% 蒸馏 +2.0 pp;大幅超过微调 VLA 基线
VLABench(零样本,500 集) 官方成功率 (%) 41.2%(教师 46.2%) π0-FAST(VLABench 微调)43.1%;未训练 4B 27.6% 蒸馏对未训练 4B +13.6 pp,接近域内微调的 π0-FAST
EB-Manipulation(零样本,228 集) 官方成功率 (%) 27.6%(教师 32.0%) GPT-4o(真值坐标+框+ICL)28.9%;未训练 4B 21.9% 蒸馏对未训练 4B +5.7 pp,与使用特权输入的 GPT-4o 相当
部署推理成本(20 集 SimplerEnv 实测) 加速器·秒 / episode(卡数×中位时长) 25.3(4B bf16 单卡,无投机解码) 教师 Qwen3.8-Flash-Next:123.8(FP8+4 卡 TP+投机解码);DeepSeek-V4.1-Flash:249.6(8 卡 TP) 教师成本的 1/4.9,DeepSeek 的 1/9.9,且中位时长也最短(25.3 s 对 31.0/31.2 s)

局限与改进

作者承认并可从数据看到的局限:未确定结局一律记为失败,未训练 4B 在 RoboTwin 有 32/500、LIBERO-PRO 有 63/300 回合结局未定,宽松口径下其 LIBERO-PRO 分数可抬到 57.3%,部分对比差距因此被放大;0.8B 学生在 LIBERO-PRO 从 78.3% 跌到 54.7%,说明语言扰动与长程推理下模型容量仍是瓶颈;EB-Manipulation 上 27.6% 低于使用真值坐标与框的 GPT-4o 的 28.9%。我自己的观察:RSI 只在 RoboTwin 上做开发与选择,Guava/LIBERO 的增益更像免费迁移而非各自进化;harness 对基准族有依赖(如 RoboTwin 专用任务备注记忆),可能限制跨域泛化;统计门槛以 2 pp 为粒度,可能错过小幅但一致的改进;教师仍需约 180B 与四卡 FP8 推理产生蒸馏数据,前期成本只是摊销而非消除;Fig. 5 的失败案例显示学生自检与模拟器判定可能不一致(鞋偏 2.3 cm 自判成功),可靠性受检查器覆盖面约束;真机验证仅 SO-ARM101 三个任务各 20 集,规模很小。

独立分析的弱点

独立分析可见以下弱点。第一,十类失败分类与预算规则由人类预先设定,迁移到新环境(户外、柔性物体、动态场景)时可能不适用,改进方向是把失败本体也作为可进化对象或引入开放聚类。第二,进化与选择完全依赖仿真种子,sim-to-real 差异只靠离线真机数据缓解,真机闭环 RSI 是明显缺口,但需解决安全与成本。第三,蒸馏上限被教师封顶(62.8% < 63.6%),学生学不到 harness 之外的策略,可在 H* 内对学生做在线 RL 或让学生参与下一轮自我进化。第四,任务记忆对 RoboTwin 是特判(读取任务终态备注),其他基准没有对应机制,harness 尚未完全基准无关。第五,对比虽配对,但竞品 harness 的调用预算与停止规则不同(MotorMind 不设上限、中位 77 次调用,对学生是 8 次),公平性仍有解释空间。第六,296 个候选中 17 个未决,能力台账依赖日志触发器与代码审计,整套基础设施工程复杂度很高,小团队难以复刻,可考虑把统计验收与审计流程做成开源框架。各弱点共同指向:把人工设定的规则、粒度与机制进一步自动化和通用化。

未来方向

作者在结论中明确说下一步是把方法扩展到更多 RSI 环境。顺着已有成果可以延伸的方向包括:让学生侧继续自我进化,使 4B 学生成为新一轮 RSI 的被改进对象或教师,形成「进化—蒸馏—再进化」的循环;研究 harness 层面的组合与合并——多个教师各自的进化 harness 能否像模型权重合并那样做能力级融合;把 harness 进化与 VLA 底层策略结合,让工具原语本身也被学习和进化,而非只依赖固定的运动规划服务;在真实机器人上做小规模在线 RSI,用安全约束替代仿真配对检验;分析哪些教师能力本质上不可蒸馏(如随规模涌现的长程空间推理),为小模型设计补偿性工具;以及把预注册配对统计验收推广为自改进系统的通用评测标准,把当前 2 pp 的粒度与条件功效中止规则做成自适应版本。此外,0.8B 在零样本基准与 4B 差距不超过 3.0 pp 的现象值得深挖,可能催生面向边缘设备部署的更小蒸馏配方。

复现评估

复现难度:高。有利条件是关键组件公开:教师 Qwen3.8-Flash-Next 是开放权重模型,六个基准(RoboTwin 2.0、Guava、LIBERO-PRO、SimplerEnv、VLABench、EB-Manipulation)与竞品(Guava-4B、PyRUA-Lean、SenseNova-RoboRSI)均开源,蒸馏配方(83,753 个样本构成、超参数、真机数据来源)在附录给出得很细。但论文未提及发布代码、harness 源码或蒸馏数据集,而 harness 是含 101 项能力的代码库、性能的主要载体——没有它,同样的 4B 底座只能到 41.2%。算力方面:RSI 阶段需本地托管约 180B 教师(FP8、4 卡并行)反复跑数百集仿真,外加 master 前沿 LLM 调用;蒸馏阶段是 4B 全参数 SFT 两个 epoch、batch 32、约 8.4 万样本,单节点多卡可完成。熟悉机器人仿真与分布式训练的团队用数张高端加速器可在数周内复现 Stage 2,但 Stage 1 的完整 RSI 基础设施(预注册检验、代码审计、能力台账)复刻成本最高。

相似论文推荐