精读笔记
Problem Setting
TEXEDO: Test Time Scaling for Controller-aware Language-conditioned Humanoid Motion Generation（arXiv preprint / 2026）。这篇论文处理的是语言条件 humanoid motion generation 的部署问题：生成器输出的是 robot skeleton 上的 reference motion，但真正要执行它的是特定 whole-body tracking controller。困难点在于语义合理性和动力学可执行性不是同一个目标，甚至经常冲突。以前 text-to-motion 工作主要在 human / retargeted motion corpus 上学语义-运动先验，默认 controller 会兜底；控制器工作则假设 reference 合理，没有把语言生成分布纳入自身训练目标。关键矛盾是：最像 prompt 的动作可能摔倒，最稳的动作可能语义退化成保守 generic motion。
Motivation
作者真正抓住的缺口是 generator 和 controller 的接口没有被建模。已有路线要么扩大 motion generator，要么增强 tracker，但两端各自 scaling 并不保证中间 reference 可执行。把所有问题都交给 controller 是不合理的，因为 balance、contact timing、actuation limit、controller-specific failure mode 不是纯 kinematic prior 能学到的。Texedo 的动机不是发明更强生成器，而是利用已有 generator 的随机性：如果一次采样不可靠，那就多采样，再用部署控制器相关的 verifier 选一个更可能成功的 reference。这是从“训练时对齐”转向“测试时验证”的思路。
Core Idea
核心思想是把 language-conditioned motion generation 从直接生成改成 test-time constrained selection。给定 prompt，不再相信 generator 的单个样本，而是把 generator 看成 proposal distribution；真正的决策发生在候选集合上，由两个 verifier 定义 deployment-time utility：一个近似控制器可行域，一个衡量语义对齐。
本质差异在于它不试图让 motion prior 本身内化所有控制器约束，而是在生成后插入一个 controller-grounded selection layer。这个 layer 重新组织了信息流：controller 的知识不进入 generator 训练，而是通过 rollout-distilled verifier 进入 test-time ranking。这样做的可扩展性来自模块解耦：generator、tracker 都 frozen，只要 candidate motion 表示一致，verifier 就可以跨 generator 使用；但这种 generalization 只在候选分布和 verifier 训练分布覆盖足够时成立。
Method
方法层面的必要机制可以压缩为三件事。第一，多样本候选生成解决单次采样偶然性问题，本质是 best-of-N，而不是新生成能力；它依赖 generator 分布中已经存在好样本。第二，dynamic feasibility verifier 解决在线 rollout 太贵的问题：用离线 tracker rollout 得到 success、tracking quality、progress，再训练 motion-only surrogate 预测可执行性；它把特定 controller 的隐式 failure boundary 显式化为一个可快速查询的 reward。第三，semantic verifier 解决只选最稳动作会语义坍缩的问题，用 text-motion embedding 在可行候选中保留 prompt intent。
最重要的是组合规则：不是把动态分数和语义分数简单加权，而是先过滤不可执行样本，再在剩余集合中选语义最高者。这个设计承认两类错误代价不对称：语义稍差是性能问题，不可执行是安全和部署失败问题。空集 fallback 选最高动态分数，本质是在没有可行候选时选 least-bad motion。
Key Insight / Why It Works
这篇最有价值的 insight 是：在 humanoid motion deployment 里，可执行性不是一个普通 reward term，而是 action space 上的硬约束。把它和语义对齐线性混合会制造错误 trade-off，因为 semantic verifier 很容易偏好高幅度、复杂、视觉上更像 prompt 但 controller 跟不上的动作；dynamic verifier 则偏好保守、平滑、稳定但语义贫乏的动作。filter-then-rerank 正是对这种非对称代价结构的建模。
方法有效主要来自 test-time compute + verifier alignment，而不是 generator architecture。多采样提供候选覆盖，dynamic verifier 将 rollout supervision 蒸馏成可泛化的可行域近似，semantic verifier 防止 selection 退化为“最容易跟踪的动作”。其中实质贡献是 controller-aware verifier 和非对称组合；FSQ-GPT、T5、GRU embedding 等更像 supporting engineering。增益很可能相当一部分来自 best-of-N scaling：候选数增大后，任何 decent verifier 都能吃到分布尾部的好样本。论文证明了 verifier 比 random selection 更会利用这个 scaling，但没有完全分离“candidate diversity 本身”与“verifier 质量”各自贡献。
所谓泛化需要谨慎解读。zero-shot 到 Kimodo 的结果说明 verifier 不绑定某个 tokenization / generator latent space，这是好的；但它仍然绑定 robot motion representation、SONIC tracker 和训练 motion corpus 的覆盖。这里不是形成了规划能力，也不是理解了物理因果；更像是学到了一个 tracker-specific feasible-motion manifold，然后在候选池里做 retrieval / reranking。
Relation To Prior Work
它最接近三条线：text-to-motion 的 best-of-N / reward reranking，LLM/VLA 的 test-time scaling with verifier，以及 motion generation 与 controller alignment。和 ReAlign 这类 text-to-motion reward alignment 的本质区别在于 reward 是否 grounded in downstream controller：只评估语义和 kinematic realism 不能判断 humanoid tracker 是否会摔。和训练时 generator-controller joint alignment 相比，Texedo 的差异是后验验证而非联合训练，牺牲了端到端最优性，换来 plug-in 和低适配成本。
看似新的部分包括 Text-See-Do 命名、双 verifier pipeline、FSQ-GPT 实例化；这些本质上是已有 test-time sampling / verifier selection 思想在 humanoid whole-body motion 上的重组。实质创新在于把 controller rollout 蒸馏成 dynamic feasibility verifier，并明确证明语义选择和动态选择存在冲突，因此需要约束优先的组合规则。它属于“frozen generative model + deployment-grounded verifier + test-time compute”的技术谱系。
Dataset / Evaluation
评估覆盖了仿真、OOD prompt、unseen generator 和 Unitree G1 真机，基本能支撑“作为 plug-in selector 改善部署质量”的核心 claim。尤其是单独比较 R_dyn-only、R_text-only 和 Texedo，能说明两个 verifier 的目标确实冲突，而不是简单同向提升。真机 30 个 prompt 的结果对 robotics paper 来说有价值，但仍不足以证明大规模开放语言指令下的鲁棒部署。
明显 limitation 在语义评价。VLM-as-judge 比人工大规模标注更可扩展，但它评估的是 rendered video 与文本的表面匹配，可能偏好视觉显著动作，也可能漏掉接触、力、稳定裕度等机器人真正关心的属性。OOD prompt 来自 BONES-SEED，语义增益较小，这暗示 semantic verifier 的语言泛化并不强。动态指标主要在 SONIC + MuJoCo + G1 下成立，换 controller、换地形、换外部交互后 claim 需要重新验证。
Limitation
最根本限制是 selection 不能超出 proposal distribution。Texedo 没有生成新轨迹、没有修复不可执行动作、没有做 trajectory optimization；它只是从已有候选里挑更好的。如果 generator 对某类 prompt 的高质量样本概率极低，N=32 甚至更大也可能找不到。于是 scalability 上限由候选多样性、采样温度、数据覆盖和 latency 共同决定。
第二个限制是 dynamic verifier 的 controller specificity。论文把这视为优势，因为它 grounded；但这也意味着换 tracker、换 robot、换 termination criterion 都会改变 label function。所谓 data reuse 只能降低成本，不能消除重新 rollout 的需求。第三，泛化可能被高估：unseen generator 仍输出相似 robot motion manifold，OOD prompt 数量也有限；这不是对真正 novel compositional task 的强泛化证明。
第四，增益归因仍不完全清楚。文中显示 verifier ranking 有效，但没有充分说明候选池中 oracle upper bound 与当前 selector 的 gap 在更复杂 prompts 下如何变化，也没有说明增加 N 后何时饱和。部分结果可能主要来自 scaling / data，而不是 verifier 学到了深层物理可执行性。最后，semantic verifier 与 VLM judge 都来自文本-运动/视频匹配范式，存在共同偏差的可能；如果 prompt 涉及不可见意图、物体交互或力学效果，这套评价会明显不足。
Takeaway
- 第一，language-to-humanoid deployment 里最值得建模的不是更漂亮的 motion prior，而是 generator-controller interface；controller-aware verifier 是一个低成本但有效的接口层。
- 第二，动态可执行性应被当成约束而不是 reward，尤其在真机系统中，错误代价不对称会决定算法结构。
- 第三，test-time scaling 在机器人里成立的前提是有足够好的 proposal distribution 和足够可信的 verifier；未来更重要的问题是 adaptive sampling、verifier-guided generation，以及把 selection 扩展为可修正轨迹的 closed-loop optimization。
- 第四，这个 insight 可迁移到其他 embodied generation：先用任务/控制器/环境 verifier 定义可部署集合，再在集合内优化语义或偏好。
一句话总结
Texedo 是把 LLM/VLA 式 test-time verifier scaling 移植到 humanoid text-to-motion 部署接口上的工作，真正贡献不是更强生成器，而是用 controller-grounded feasibility verifier 把 frozen generator 的候选分布转化为更可执行的语言条件机器人动作。