Token Lab搜索

← Physical AI · 机器人
PHYSICAL AI / 7 OF 8

07 · π₀ 与连续动作流匹配

区分 token 预测、扩散噪声预测与连续速度场。

先修:VLA 接口、微分方程与条件生成。

理解机制

π₀ 把视觉语言表示连接到基于流的动作模型。理解流匹配时,先声明噪声到数据的插值,再学习其速度。实现的时间约定可能不同,交换数据端点会改变目标符号。本章使用简单线性路径推导,并非 π₀ 实现的逐字规范。连续生成仍需数值积分与机器人动作适配器。

Text / 原始公式
x_t = (1−t)ε + t·a,  t ∈ [0,1]
u_t = d x_t/dt = a − ε
L = E[‖vθ(x_t,t,o) − (a−ε)‖²]
x_next = x_t + Δt·vθ(x_t,t,o)
学习指南与本课目录LEARNING CONTRACT

理解 → 实现 → 研究

目标:解释本课机制、复现一个例子、测试一个失败案例。读完不自动代表掌握。

  • 理解层:写明假设、形状/单位和一个反例。
  • 实现层:复算数值例子并检查边界。
  • 研究层:在匹配预算下比较一个替代方法。

机制图与逐步推导

噪声与视觉语言条件 → 预测条件速度 → 积分动作轨迹 → 解码并执行有界前缀
原创机制示意图,按从上到下顺序阅读。 SVG ↓
符号与假设
符号含义
ε, a噪声端点与干净动作端点
vθ, t学习的条件速度场与插值时间
  1. 取 ε、, 时 x_,目标速度为 4。
  2. 使用准确速度做 的 Euler 步, 时 。这是直线路径玩具例,不是学习策略结果。
  3. 对学习的非线性场,用相同初始噪声比较 4、8、16 积分步。记录动作漂移和运行时间;更多步数不能修复学坏的场。
实验检查点

先实现解析直线路径,包含时间反向测试。再为真实模型设计固定种子与时限的积分步数消融,分开报告玩具输出与实测输出。

原创面试练习与分析

先口述答案再展开分析,补充假设、反例和你会运行的测试。

流匹配是否只是单个确定动作?

给定输入时速度场可确定,但不同初始噪声可产生不同动作。分布质量仍依赖训练。

怎样公平比较动作 token 与流?

匹配数据、本体、观察历史与墙钟预算,报告动作精度、成功率和延迟。骨干规模不同会混淆动作头比较。

阅读一手来源

π₀: A Vision-Language-Action Flow Model ↗ · arXiv PDF ↗

Token Lab 原创讲解与合成计算,不是机器人性能实测。来源链接核对于 2026-10-25,未锁版本的 arXiv 链接可能修订,复现时请记录版本。

MATHEMATICAL REVIEW · 2026-10-26

假设、参考实现与验收

t 是无量纲插值时间。vθ 单位是动作坐标/插值时间,不是机器人真实速度。平方误差最优解为 E[a−ε|x_t,t,o];生成状态 x_next 不是下一物理状态。

已复核公式条件、单位及算例。实现隔离一个数值机制,不训练完整策略,也不控制真实硬件。

运行前:预测一个边界情况

4 是规范化动作/插值时间的速度,不是 4 米/秒;这里只是一个配对目标。

提示:隔离假设

固定基线输入,只改变一个参数或边界;同时比较数值与声明单位。单例通过仅验证该样例。

最小可运行算例

将算例及所链接模块保存在同一目录。使用 Node.js 22 或更高版本,然后运行 node flow-matching-pi0.mjs. 无需第三方运行依赖。

const solve=()=>{
const noise=-1, action=3, t=.25, dt=.1;
const xt=(1-t)*noise+t*action, target=action-noise;
return [xt,target,xt+dt*target];
};
const actual=solve();
const expected=[0,4,0.4];
if(JSON.stringify(actual)===JSON.stringify(expected)){console.log('PASS',actual)}else{
const a=[actual].flat(), b=[expected].flat();
if(a.length!==b.length||a.some((v,i)=>!Number.isFinite(v)||Math.abs(v-b[i])>1e-10))throw Error('Numerical mismatch');
console.log('PASS within 1e-10',actual);
}
参考输出——先预测再展开
[
  0,
  4,
  0.4
]

测试与迁移

4 是规范化动作/插值时间的速度,不是 4 米/秒;这里只是一个配对目标。

在下方笔记记录输入、代码版本、期望值和实测值;再构造违反上述假设的反例,解释原结论为何不再成立。

下载完整代码包(.tar.gz) · 完整参考代码与回归检查

预测、检验与证据记录

展开答案前先预测一个结果;练习后记录差异和迁移测试。记录仅存本地,在不同语言版本间共用。

打开记录/导出/清除 →

数学复核范围逐篇记录,不代表完成论文实证复现;可在笔记中记录疑似错误。 复核范围