机器人 / SLAM / 控制 / AI Coding 技术深度简报|2026-08-12

摘要

截至 2026-08-12 09:06(Asia/Shanghai),arXiv Robotics 最新公开批次为 2026-08-11,共 116 条;Software Engineering 同日批次共 41 条。本期先读取 robotics-brief-covered-items.md,与截至 8 月 11 日的 281 条历史条目按规范标题、arXiv ID、DOI、GitHub 和项目主页联合去重。过去 24 小时内,本期最值得单独列出的 AI Coding 更新是 OpenCodeReview 的 v2 修订;机器人侧高质量候选主要来自 8 月 11 日公开、8 月 10 日提交的批次,因此统一标为“时间回补”,不包装成 8 月 12 日新投稿。(arXiv RoboticsarXiv Software Engineering

本期共选择 8 条主动态。定位侧最值得关注的是 WRAP:它不替换现有 EKF/ESKF,而是在过程噪声与测量噪声统计出现偏置、协方差失配时,用 Wasserstein 鲁棒更新计算最不利协方差和鲁棒增益;Jetson Orin Nano 上 UWB 场景鲁棒求解仅约 0.05 ms。视觉里程计方面,ROEVO 把离散边缘像素组织成可跨帧关联的“organized edges”,并围绕边缘结构重新设计 tracking、covisibility graph 与 BA;需要特别说明,这项工作已发表于 IEEE T-RO 2025,本期是因 2026-08-10 新增 arXiv 版本及公开代码而做“补充回顾”。

控制与规划侧,Tether-Inertial Localization 把系留绳长度与角度直接变成无人机无漂移相对定位传感器;G2SD 则不在扩散采样过程中不断用安全梯度扭曲轨迹,而是先在学习到的拓扑图上选安全结构,再让低层 diffusion 生成连续轨迹。真实机器人 RL 方面,HIL-HARC 用 CTDE 和分解 critic 解决连续机械臂动作与离散夹爪动作并行学习的非平稳问题,三项真实任务统一训练预算约 160 分钟,平均成功率由 40% 提升到 75%。

机器人基础设施与基础模型侧,RynnValue 用时间距离而非人工 preference/progress 标签训练通用价值模型,数据规模超过 7000 小时、约 300 万段 instruction-conditioned clip;XPolicyLab 则从另一层解决工程碎片化,通过统一 observation/action/trajectory schema 与隔离式 client/server 接口,把 N 个策略接 M 个环境的集成复杂度从 O(NM) 降到 O(N+M),当前已经接入 42 个机器人策略。AI Coding 侧,OpenCodeReview 的核心结论很实用:越自由的 Agent 不一定越好,文件分派、工具集合和最终反思如果有明确确定性边界,反而可以同时降低幻觉和 token 成本。

本次同时核验 OpenAI、Anthropic、Google DeepMind 与 Meta AI 的官方发布入口,没有发现过去 24 小时内足以进入本期前 8 条的全新通用大模型、代码模型或机器人基础模型正式发布,因此不使用旧模型新闻补位。(OpenAI NewsAnthropic NewsGoogle DeepMindMeta AI

1. WRAP:不重写现有 ESKF,用 Wasserstein 鲁棒更新修复“协方差过度自信”

时间回补:论文 v1 提交于 2026-08-10 16:29 UTC,并进入 2026-08-11 Robotics 最新公开批次;截至本期生成时已超过 24 小时。此前未进入去重索引。

WRAP(Wasserstein-Robust Adaptive Plug-in for Robot Localization)针对真实机器人定位中很常见、却容易被忽略的问题:滤波器的状态模型可能没错,但过程噪声、测量噪声和 bias 统计会随着传感器环境变化而失配,最终产生“估计看起来很自信,实际误差却已经变大”的 inconsistency。WRAP 不改变现有 EKF/ESKF 的 propagation、measurement residual 或 manifold retraction,而是在其外增加一个 causal adaptation module,再以 mean-preserving Wasserstein distributionally robust update 计算最不利协方差与鲁棒 Kalman gain。(论文

为什么重要

很多多传感器融合项目出现问题时,第一反应是换滤波器或改残差。但实际部署中更普遍的问题可能是协方差模型已经不再代表当前传感器:UWB 从 LOS 进入 NLOS、GNSS 城市峡谷、轮速开始打滑、IMU 温漂升高,这些都可能让固定 Q/R 迅速失真。

WRAP 的工程价值在于它是 adapter-agnostic plug-in。只要现有系统仍是 EKF/ESKF 风格,就可以在不大改主估计器的情况下增加 mean adaptation 与 covariance robustification,比较适合已经稳定运行多年、不希望重写状态机和传感器接口的工程栈。

算法模块

  • 原 EKF/ESKF 保持原有状态传播、残差和 retraction;
  • causal module 在线给出时变有效 process / measurement statistics;
  • mean adaptation 负责修正系统性均值偏差;
  • Wasserstein ambiguity set 表达统计模型不确定性;
  • mean-preserving robust local update 搜索 least-favorable covariance;
  • propagation 与 sensing 使用不同 Wasserstein radius;
  • 根据最不利协方差重新计算 robust Kalman gain;
  • 最终仍通过原滤波器接口输出状态与协方差。

传感器假设

论文验证了 UWB-IMU 与 GNSS-INS,但方法本身不绑定这两类传感器。前提是原系统已经能写成合理的 EKF/ESKF 状态和残差模型,并且在线 adaptation module 能从历史创新量或上下文中获得有效统计信息。

它不能修复所有模型错误:严重时间同步错误、外参错误、错误数据关联、传感器完全失效或观测模型本身写错,不能简单靠扩大协方差得到正确状态。

实时性与效果

在 18 条未参与 adapter 训练的 UWB-IMU 序列上,adapter-only 相对 nominal ESKF 的平均 3D 位置 RMSE 降低约 19.8%,WRAP 降低约 27.4%;各向同性 ablation 约 19.5%,说明额外收益主要来自方向性的过程协方差重分配。GNSS-INS 实验中,mean adaptation 提供主要精度收益,而 distributional robustness 更明显改善 consistency、缓解经典协方差过紧问题。(论文

在 Jetson Orin Nano 上,鲁棒求解 UWB 场景约 0.05 ms,GNSS 场景约 2.92 ms,说明它至少在论文规模下不会成为主要实时瓶颈。

鲁棒性、可复现性与风险

当前 arXiv 页面没有列出官方代码仓库,可复现性暂评中等。工程风险主要包括:Wasserstein radius 会成为新的关键超参数;adapter 若在 OOD 场景下给出错误均值修正,鲁棒协方差只能减轻过度自信,无法保证均值正确;将创新量异常全部解释成噪声变化,可能掩盖外参、时钟或硬件故障。

适合谁关注

适合 UWB/RTK/GNSS/轮速/IMU 多传感器融合、ESKF 工程维护,以及当前系统“轨迹还算正常但 covariance 明显不可信”的团队。

工程落地启发

最值得先复现的不是完整学习 adapter,而是增加一套 covariance consistency 诊断:长期记录 innovation、NIS/NEES 与实际误差,先确认哪些工况存在 over-confidence;随后只对这些传感器引入受上下限约束的时变 Q/R 或 Wasserstein robustification。不要在尚未排除时间同步和外参问题前,把所有残差异常都交给自适应噪声模型。

2. ROEVO:把边缘从“散点”升级为有顺序、有结构、可跨帧关联的视觉里程计特征

补充回顾:论文对应工作已发表于 IEEE Transactions on Robotics 2025;作者于 2026-08-10 新增 arXiv v1,并公开了实现仓库。本期因代码可复现性和与视觉里程计工程的相关性收录,不视为 2026 年首次发表。

ROEVO(Robust Organized Edge Feature-based Visual Odometry Using RGB-D Cameras)不把 Canny/梯度边缘简单当成一堆独立像素,而是构造 organized edges,将不连续 edge pixel 组织成有序 cluster。这样,一条边不仅有局部梯度,还保留形状和顺序信息,可以做 edge-level 跨帧 association,并自然形成 co-visibility graph。跟踪阶段使用 edge-wise residual;后端则通过 shape-preserving edge fitting 与 organized-edge BA,将传统 BA 拆成 fitting 与 registration,避免优化过程中把边缘结构本身拉坏。(arXiv代码IEEE DOI

为什么重要

点特征在低纹理墙面、弱角点室内场景中容易数量不足;纯直接法又容易受曝光和光度模型影响。边缘在工业场景、走廊、门框、货架和设备轮廓中通常更稳定,但过去 edge-based VO 的问题是数据量大且结构利用不足。

ROEVO 的核心价值是把“边缘像素”变成真正的结构化视觉实体,使前端跟踪、局部地图和后端优化都围绕同一种表示工作,而不是边缘只用于一次 frame-to-frame registration。

算法模块

  • RGB-D 图像提取基础边缘;
  • 将 disjoint edge pixels sequentialize 为 organized edge cluster;
  • 跨帧做 edge-level association;
  • 利用多帧 association 构建 co-visibility graph;
  • tracking 使用 edge-wise 而非 pixel-wise residual;
  • shape-preserving edge fitting 保持局部几何形状;
  • organized-edge BA 将 fitting 与 registration 解耦;
  • 局部地图进行多帧边缘融合与优化。

传感器假设

当前实现面向 RGB-D 相机,因此深度质量直接决定边缘三维几何。玻璃、反光、远距离深度空洞和运动物体边界都会产生错误约束。它是 VO/local mapping 系统,不包含完整长期 loop closure 与全局地图管理。

实时性

论文摘要强调 efficient tracking,但公开 arXiv 摘要没有给出统一毫秒级端到端帧率,因此本期不人为补一个“实时 FPS”。代码仓库已经包含 feature extraction、coarse/fine tracking、co-visibility graph、local map、multi-frame BA 等独立 demo,适合实际测量各阶段耗时。

可复现性与风险

代码已公开,采用 GPLv3。仓库测试依赖包括 OpenCV 3.4、Sophus 1.0、Pangolin 0.6、TBB 等,其中 Pangolin 明确存在严格版本要求。仓库提供 ICL-NUIM、ETH3D、TUM-RGBD 等数据接口,但 TODO 中仍列有“terminal-runnable complete SLAM project”,说明当前公开仓库更接近论文模块与 VO pipeline,而不是开箱即用的完整 ROS SLAM 产品。(代码

适合谁关注

适合低纹理 RGB-D VO、室内机器人视觉定位、结构化特征前端,以及希望研究“线/边缘是否比点特征更适合工业场景”的团队。

工程落地启发

可以先不替换完整 VIO:只把 organized edge 做成一个额外视觉约束源,与现有 point feature / direct photometric residual 并行。长走廊中点特征退化时提高结构边缘权重;动态边界或深度异常时降低权重。最终仍由 IMU 提供高频传播,避免纯 RGB-D VO 在高速运动下丢失。

3. Tether-Inertial Localization:把系留绳本身变成一个不会随飞行时间积分漂移的位置传感器

时间回补:论文 v1 提交于 2026-08-10 12:15 UTC,并进入 2026-08-11 Robotics 最新批次;此前未进入索引。

《Tether-Inertial Localization for Planetary Drones》利用系留无人机本来就存在的绳缆解决定位。系统测量 tether length 与 tether angle,使用解析 catenary model 计算无人机相对基站位置,再用 Gaussian Process 学习传感器系统误差和悬链线模型无法解释的 residual。这样定位误差不会像纯惯性积分一样随时间不断积累。(论文

为什么重要

系留无人机通常被认为牺牲自由度换取持续供电和通信,但这篇工作的启发是:系留约束本身也是一个高价值状态观测。 在洞穴、地下设施、行星表面、船舱或其他 GNSS 拒止场景中,如果视觉又面临黑暗、粉尘或算力限制,绳长和出绳方向可以给出一个独立、物理上可解释的相对位置来源。

算法模块

  • 测量 tether length;
  • 测量 tether departure / angle;
  • 根据已知基站 anchor 与悬链线参数求解析 catenary shape;
  • 从悬链线末端得到 UAV relative position;
  • IMU 提供姿态与短时动态信息;
  • GP residual model 学习传感器 bias 与简化绳模型误差;
  • 将 tether-based position 反馈给飞控闭环。

传感器与物理假设

系统需要已知基站位置、可靠的出绳长度与角度测量,并假设 tether 的主要形状可以由 catenary 描述。真实绳缆受风、接触墙体、绕障碍、动态摆动、摩擦和局部刚度影响时,标准悬链线假设会被破坏;GP residual 只能补偿训练分布内的系统误差,不能保证处理“绳子挂住障碍物”这种拓扑变化。

实时性与实验结果

作者在圆形、三角形和 8 字轨迹上实验,最大系留长度 4.5 m,总飞行约 37 分钟。仅使用 tether-based position feedback 时,解析 catenary 模型平均位置 RMSE 约 7.4 cm,加入 GP residual 后降至约 5.2 cm;论文称相对已有系留定位结果约有一个数量级改善。(论文

公开摘要没有给出具体控制频率,但 analytical catenary + GP residual 的计算结构明显比视觉三维重建轻量,适合作为高频外部位置观测;真正的系统延迟更可能由机械出绳传感器与通信决定。

鲁棒性、可复现性与风险

当前页面未列出代码。实验尺度仍是 4.5 m 级,距离矿井、地下大空间或长绳应用还有明显差距。长绳空气阻力、绳重、墙面摩擦和多点接触会使模型复杂度迅速上升。

适合谁关注

适合系留无人机、地下/洞穴/行星探测、持续供电无人机和希望增加视觉/RTK 独立冗余定位源的团队。

工程落地启发

如果平台本身已经有系留线,不应只把它当电源线。可以把编码器出绳长度、出绳方向、张力一起纳入因子图/ESKF;绳模型正常时提供绝对相对位置约束,检测到墙体接触或异常张力后自动降权。它很适合作为 LiDAR/视觉定位失效时的 degraded-mode 约束,而不是完全取代主定位系统。

4. G2SD:安全扩散规划不要每一步都“硬掰轨迹”,先选安全拓扑,再让 diffusion 生成连续运动

时间回补:论文 v1 提交于 2026-08-10 11:49 UTC,并进入 2026-08-11 Robotics 最新公开批次;此前未报道。

Graph-Guided Safe Diffuser(G2SD)研究 diffusion planner 的一个结构性问题:很多安全方法在采样过程中不断叠加 constraint gradient,把生成轨迹从原数据流形上推开。这样虽然可能远离障碍,却会产生 manifold rupture——轨迹几何安全了,但运动学可行性、自然性和 learned trajectory prior 被破坏。G2SD 把安全约束上移到拓扑层:先把训练数据流形抽象成 learned latent topological graph,在图上选高层安全路径,再让低层 diffusion 以选中的 graph node representation 为条件生成连续轨迹。(论文

为什么重要

这和经典机器人规划的“先选同伦类别,再做连续轨迹优化”非常接近。学习式 planner 不应因为使用 diffusion 就放弃拓扑结构;如果起点与终点之间有左绕、右绕、穿门三种结构,高层先决定走哪一类路径,低层生成器只需要在一个局部可行簇内优化,通常比在连续空间里用强安全梯度把整条轨迹扭来扭去更稳定。

算法模块

  • 从轨迹数据学习 latent representation;
  • 构建 latent topological graph;
  • 高层 graph planner 选择安全 graph-node sequence;
  • 将选中节点表示作为低层 diffusion condition;
  • 低层生成连续 trajectory segment;
  • 多 segment 拼接形成完整轨迹;
  • 理论分析 guidance 导致 manifold rupture 的条件;
  • 分析 segment 数增加时 constraint violation probability 的下降。

动力学与环境假设

方法依赖训练数据能够覆盖合理的运动流形,并且 learned graph 能正确表达可连接区域。如果环境发生训练分布之外的拓扑变化,graph node 与真实自由空间可能不一致;安全也主要由 learned/topological representation 给出,并不是替代实时碰撞检测的形式化 certificate。

实时性与效果

Maze2D 中,无碰撞到达目标的比例由多种 baseline 的约 40–50% 提升到 98%,并在 locomotion 任务上取得更高 task score。(论文

论文当前公开摘要没有给出真实机器人或嵌入式端到端毫秒延迟,也没有公开代码链接。因此现阶段更应该把它视为“安全扩散规划结构”的研究结果,而不是可直接替换 MPC 的部署组件。

鲁棒性、可复现性与风险

主要风险包括:latent graph 构图错误;graph 结构本身不包含实时新障碍;segment boundary 可能带来速度/加速度不连续;理论 violation probability 依赖论文假设,不能直接外推到真实传感器噪声和控制误差。

适合谁关注

适合 diffusion planning、运动规划、学习轨迹生成、安全强化学习,以及当前遇到 classifier/CBF guidance 把生成轨迹推到“安全但不可执行”区域的团队。

工程落地启发

可以把它与传统规划器组合:A*/GCS/拓扑图先生成 2–4 个候选同伦通道,diffusion policy 只在每个通道内生成连续轨迹,最后由 ESDF 碰撞检查和动力学约束做独立验收。这样学习生成器负责“怎么走得自然”,传统几何层负责“哪些路根本不能走”。

5. HIL-HARC:真实机器人在线 RL 用 CTDE 拆开机械臂和夹爪,160 分钟把平均成功率从 40% 提到 75%

时间回补:论文 v1 提交于 2026-08-10 15:54 UTC,并进入 2026-08-11 Robotics 最新公开批次;此前未报道。

《Efficient Real-World Online Reinforcement Learning for Robot Manipulation via Centralized Training and Critic Decomposition》解决的不是“RL 会不会抓东西”,而是混合动作空间在线训练时的非平稳问题:机械臂 Cartesian motion 是连续动作,夹爪开合是离散动作,如果两个 actor 同时独立更新,彼此看到的环境分布会不断变化。HIL-HARC 采用 Centralized Training Decentralized Execution(CTDE),让连续 arm actor 与离散 gripper actor 独立执行,但训练时共享 centralized multi-head critic;再用 Hybrid Reward Architecture 将 sparse task reward 与 potential-based grasp reward 分到不同 Q head。(论文项目页

为什么重要

真实在线 RL 最大成本不是 GPU,而是机器人时间、人类干预和硬件磨损。把一个任务切成多个 policy 后,最大的隐藏问题往往是多 actor 同时学习造成非平稳性;而将所有动作强行塞进一个统一连续 policy,又会使夹爪这种天然离散决策变得别扭。

CTDE + reward decomposition 给出一个很工程化的折中:执行端仍保持模块化,训练端共享全局信息协调;同时把“任务完成”和“抓取质量”拆成更简单的价值估计目标。

算法模块

  • continuous SAC actor 控制 Cartesian arm pose;
  • categorical discrete SAC actor 控制 gripper;
  • 两个 actor 部署时只使用本地 observation;
  • centralized critic 在训练时看 joint observation/action;
  • critic 拆成 task Q head 与 grasp Q head;
  • sparse task reward 与 potential-based grasp reward 分别训练对应 head;
  • prior demonstrations 与 online experience 以等量 minibatch 混合;
  • human intervention 修正危险或无效行为;
  • remote learner 异步更新并周期性同步策略回机器人。

传感器与训练假设

系统依赖视觉与 proprioception,以及人工 intervention 数据。它减少的是干预量,不是“无需人类监督”。真实部署还需要明确的动作限位、碰撞检测和人类接管通道;高 update-to-data ratio 也意味着训练基础设施必须防止错误 reward 或坏数据被快速放大。

实时性与真实结果

三项真实任务统一训练预算约 160 分钟,平均成功率从 baseline 的 40% 提升到 75%,最终 intervention rate 降到 0%。tennis-ball pick-and-place 从 60% 到 80%,banana 从 60% 到 90%,pot reset 从 0% 到 55%;仿真 block relocation 从 25% 到 95%。项目页还公布了投稿后新增的 quadruped dual-arm bottle stowing:65 分钟训练后 20 次评测成功 17 次,即 85%,但该结果不在原论文正文中。(项目页

鲁棒性、可复现性与风险

目前项目页提供完整方法与视频,但没有看到公开训练代码。真实任务数量仍有限,而且“最终干预率 0%”只说明在测试协议内策略不再需要人工接管,并不等于获得安全保证。

适合谁关注

适合真实机器人 RL、机械臂在线适配、human-in-the-loop learning,以及连续控制和离散工具动作混合的机器人任务。

工程落地启发

如果真实机器人训练资源有限,优先把 policy 拆成物理意义明确的 actor,而不是无限扩大单模型 action space。共享 critic 用于协调,但每个 actor 的动作边界、更新速率和回退策略都可以独立控制。第一阶段只允许 residual / Cartesian delta 等低风险动作在线学习,比直接开放关节力矩探索更稳妥。

6. RynnValue:不用人工 preference 标签,直接用“离目标还剩多少时间”训练 7000 小时级机器人价值模型

时间回补:论文 v1 提交于 2026-08-10 17:09 UTC,并进入 2026-08-11 Robotics 最新公开批次;此前未进入索引。

RynnValue 试图解决机器人基础模型的另一个扩展瓶颈:policy 数据越来越多,但 reward/value supervision 仍高度依赖人工 preference、阶段进度或特定任务归一化标签,这些标签很难跨 embodiment 和数据源统一。它把监督目标改成 temporal distance——从当前 observation 到语言指定目标还需要多少时间,也就是一种有方向的 cost-to-go。这个标签可以直接从轨迹时间戳构造,不需要额外人工标注。(论文

为什么重要

如果 value model 要服务几百个机器人任务,它不能要求每个任务都重新定义“进度 0–1”或重新做 preference comparison。时间距离虽然不是完美 reward,却有一个巨大工程优势:几乎所有顺序轨迹天然都有时间戳,因此能把异构数据自动转成统一的 value supervision。

这使 value model 有机会像视觉/语言 backbone 一样做规模化预训练,再用于 policy reranking、失败检测、dense reward shaping 或 offline RL。

算法模块

  • 从 observation + language goal 构造 value prediction 输入;
  • 使用轨迹时间戳生成 directed temporal-distance label;
  • random temporal sampling 增加不同距离范围样本;
  • temporal-order shuffling 防止只看帧顺序捷径;
  • value-isolation attention 抑制模型忽略失败/回退状态;
  • value 输出可直接用于排序;
  • 通过 potential-based shaping 转成 dense reward;
  • dense reward 接入 online / offline policy learning。

数据规模与结果

训练数据超过 7000 小时、约 300 万段 instruction-conditioned clips,无需 preference/progress annotation。RBM-EVAL-OOD 上平均 Kendall’s tau_a 为 0.675,高于 fully preference-supervised SOTA 的 0.655,也明显高于 progress-only counterpart 的 0.292;论文报告 zero-shot 泛化到未见任务、本体与视角。(论文

把 value 转成 potential-based dense reward 后,真实机器人 online policy success 从 52.5% 提升到 72.5%,offline 从 63.8% 提升到 82.5%。

实时性与可复现性

论文摘要将 RynnValue 称为 open-source value foundation model,但当前 arXiv 页面没有直接暴露稳定代码/权重链接,因此本期不虚构仓库地址。公开摘要也没有给出统一端侧推理毫秒数;实际是否适合作为每个 action step 的在线 critic,需要看模型大小与部署硬件。

风险

时间距离并不总等价于任务价值:人类/机器人演示可能包含停顿、绕路、重复动作;更快也不一定更安全。若直接把 temporal distance 当 reward,可能鼓励捷径。论文使用 potential shaping 可以减少某些 reward distortion,但真实部署仍应叠加碰撞、力和任务正确性约束。

适合谁关注

适合机器人 reward model、VLA 后训练、offline RL、成功检测和大规模异构机器人数据团队。

工程落地启发

中小团队可以先用同样思想训练一个轻量 progress/value model:不做人类 preference 标注,只从成功轨迹的时间位置生成 cost-to-go;再加入失败轨迹和回退轨迹做 temporal-order augmentation。先用于离线轨迹排序和失败预警,确认没有明显 reward hacking 后再进入在线 RL。

7. XPolicyLab:把 42 个机器人策略的安装、推理、评测与实机接口统一成一层 adapter contract

时间回补:论文 v1 提交于 2026-08-10 17:41 UTC,并进入 2026-08-11 Robotics 最新公开批次;项目页 2026-08-11 更新,代码已公开。

XPolicyLab 关注的不是新策略,而是机器人 VLA/WAM 生态已经出现的工程碎片化:一个 policy 有自己的 conda/uv、checkpoint、camera schema、action format;一个 benchmark 或真实机器人又有另一套环境。传统方式连接 N 个策略和 M 个环境,容易产生 O(NM) 个定制集成。XPolicyLab 定义统一 observation、action、trajectory schema 和最小 Model adapter,并把 policy inference 与 simulator/robot environment 通过 dependency-isolated client/server 分离,使集成结构变成 O(N+M)。(论文项目页代码

为什么重要

机器人基础模型现在很像早期深度学习框架时代:论文很多,但每换一个模型就要重装一套环境、重写 camera/action adapter。真正拖慢工程的往往不是模型推理,而是依赖冲突、坐标约定、action dimension 和 benchmark wiring。

XPolicyLab 的价值是把策略侧差异限制在 policy/<POLICY>/ 内,环境侧只面对统一协议。这样同一个 adapter 可以服务仿真、benchmark 与真实机器人,也更容易做真正公平的横向评测。

工程结构

  • 统一 Observation Data Format;
  • 统一 Trajectory / Action Data Format;
  • Model.__init__ / update_obs / get_action / reset 最小接口;
  • policy server 与 environment client 通过 WebSocket 通信;
  • policy 和 simulator 保持各自独立依赖环境;
  • 同机、跨机均可部署;
  • EVAL_ENV_TYPE=debug 可不启动模拟器先检查 shape、action key 和 server wiring;
  • 每个 policy adapter 自带 install/data/train/eval 脚本;
  • 仓库内提供 Cursor Agent Skills 自动生成和审计 adapter。

覆盖范围与工程效果

项目截至 2026 年 8 月已集成 42 个机器人策略,覆盖 VLA、WAM、imitation learning 和 memory-augmented policy。RoboTwin 2.0 侧覆盖 50 个双臂任务,RoboDojo-sim 42 个任务;RoboDojo-real 提供 18 个实体任务、3 种双臂 embodiment(ARX X5、Piper、Piper X)。(项目页

受控实验中,π0.5 接 RoboDojo 的集成时间从 5 小时以上降到约 2 小时,使用打包 Agent Skills 后进一步到约 30 分钟。

实时性、鲁棒性与可复现性

代码公开,仓库采用标准化 adapter、debug mode、WebSocket server/client,复现性在本期项目中很高。需要注意:统一接口本身不保证模型实时性;网络部署还会引入序列化、传输和超时问题。真实控制必须给 request_id、timeout、重试、状态清理和 action freshness 明确语义,不能因为接口统一就忽略实时系统边界。

适合谁关注

适合同时评测多个 VLA/机器人策略、维护多套仿真环境、做真实机器人模型服务,以及希望让 Coding Agent 自动完成 policy integration 的团队。

工程落地启发

如果内部已经有多个机器人项目,值得尽早定义自己的 Observation / Action / Reset / Health contract,而不是让每个模型直接绑定 ROS topic 或硬件 SDK。模型服务和设备客户端解耦后,可以独立升级 CUDA/PyTorch 环境,也更容易做 A/B、回滚和故障注入测试。

8. OpenCodeReview v2:Agent 代码审查的突破不一定是“更多自主权”,而是把确定性放到正确位置

过去 24 小时更新:OpenCodeReview v1 提交于 2026-08-10 08:43 UTC,v2 于 2026-08-11 03:48 UTC 修订;以本期生成时间计算,v2 仍位于最近 24 小时窗口内。该工作此前未进入去重索引。

OpenCodeReview 来自阿里巴巴开源项目,研究 Agent code review 中两个相互关联的问题:自由工具使用带来非确定性,同一 PR 多跑几次可能得到不同结果;只看 diff 又产生 context locality,发现不了跨文件调用链和远端依赖。它没有把 Agent 完全锁死,也没有给 Agent 一个无限 bash,而是在三个节点引入 deterministic engineering:规则驱动分派、受控工具探索、独立反思过滤。(论文代码

为什么重要

Coding Agent 越来越容易陷入“自由度越大越先进”的误区。但 code review 与自主修复不同:目标不是探索到一个能工作的补丁,而是给出稳定、可证据支持、低噪声的评论。如果同一个 PR 每次输出都完全不同,团队很难把它放进 merge gate;如果工具输出无限增长,token 成本也会迅速滚雪球。

OpenCodeReview 的核心工程结论是:模型负责不确定的语义判断,但文件范围、工具能力、输出过滤这些边界可以保持确定性。

算法与工作流

  • Rule-Guided Dispatch 用多层 rule system 确定要审哪些文件、应用哪些 review criteria;
  • 规则分 built-in、user-global、project-level 和 invocation-level 多层优先级;
  • 每个文件由独立 SubAgent 并行审查;
  • Grounded File Review 只提供 file_read / file_find / code_search / file_read_diff / code_comment / task_done 等受控工具;
  • 工具输出有界,避免 bash 造成 context snowball;
  • SubAgent 可按需恢复跨文件依赖;
  • Independent Reflection 只看 diff,不看 reviewer 的探索轨迹;
  • reflector 采用 falsification-first,只过滤被 diff 直接反驳的评论,不生成新评论,减少同模型自我强化偏差。

工程结果

AACR-Bench 包含 200 个真实 PR、10 种语言和 1505 条专家验证评论。论文跨 6 个 LLM backend 比较,最佳配置 SEM-F1 达 25.10%,相同模型在 Claude Code 配置下为 11.57%,即最高约 2.17 倍;同时 token 消耗降低约 5–15 倍。(论文

开源仓库说明该工具来自阿里内部代码审查系统,已在大规模研发中使用;CLI 可读取 Git diff、搜索仓库上下文并生成行级评论,同时支持 OpenAI / Anthropic 兼容模型端点。(代码

是否适合接入真实研发流程

适合,尤其适合作为 PR 的辅助 reviewer,但不应直接拥有 merge 权限。推荐把确定性 rule 与项目代码一起版本控制;评论必须携带文件、行号和证据;对安全、并发、资源生命周期等高风险问题可以继续交给静态分析或测试做第二层验证。

风险

SEM-F1 的绝对数值仍不高,说明自动 review 远没有达到“可以忽略人工”的水平;Independent Reflection 只能过滤与 diff 明显冲突的评论,无法证明所有复杂语义判断正确;项目 rule 若本身过时,会稳定地产生错误审查标准。

适合谁关注

适合 Coding Agent、企业 PR review、AI DevSecOps,以及正在被 Agent token 成本和不稳定输出困扰的团队。

工程落地启发

真实研发 Agent 应明确区分两类环节:可确定的流程用程序控制,不确定的判断才交给模型。例如文件过滤、权限、schema validation、测试执行、revision 检查都应确定化;代码设计、语义缺陷判断、跨模块推理才交给 Agent。这通常比继续放大工具权限更可靠。

经典论文回顾

FAST-LIO2:从“先提边线特征”走向原始点直接 scan-to-map,并用 ikd-Tree 把动态地图更新做成实时基础设施

发表时间与历史位置: FAST-LIO2《Fast Direct LiDAR-inertial Odometry》于 2021 年 7 月提交 arXiv,是 FAST-LIO 系列从“高效紧耦合 iEKF”走向“原始点直接配准 + 增量动态地图”的关键工作。它出现在 Livox 等固态 LiDAR 快速普及、传统 LOAM 式固定扫描线 edge/plane feature 对新扫描模式适应性不足的阶段。(论文官方代码

解决的核心问题

传统 LiDAR SLAM 常先根据扫描线曲率提取 edge / plane,再用这些特征做 scan-to-map。这个流程有两个问题:第一,特征提取规则绑定传感器扫描模式;第二,大量原始点中存在的弱几何信息被提前丢弃。

FAST-LIO2 选择直接把 raw LiDAR points 注册到地图,并使用紧耦合 iterated EKF 与 IMU 融合。这样前端不再需要针对 Velodyne、Ouster、Livox 分别设计一套 edge/plane 提取规则。

第二个核心问题是动态地图。每帧都要插入新点、删除远点、做 downsample 和最近邻查询,普通静态 KD-tree 反复重建会迅速成为瓶颈。FAST-LIO2 引入 ikd-Tree,支持增量插入、删除、动态重平衡和树内降采样。

关键数学思想与算法模块

  • IMU 高频状态 propagation;
  • 利用 IMU 状态对每个 LiDAR 点做 motion undistortion;
  • raw point 直接做 scan-to-map correspondence;
  • 基于局部平面几何构造 point-to-plane residual;
  • iterated EKF 在流形状态上反复更新;
  • 利用状态维度远小于测量维度的结构降低 Kalman 更新计算量;
  • ikd-Tree 执行 kNN 查询;
  • ikd-Tree 支持增量点插入、删除和动态 rebalancing;
  • 在树更新过程中直接做 downsampling;
  • 更新后的状态继续作为下一帧 IMU/LiDAR 融合先验。

传感器与时间假设

FAST-LIO2 支持 spinning LiDAR 和 Livox 类固态 LiDAR,也支持外部 IMU。真正的硬前提是每个点的时间戳、LiDAR-IMU 同步和外参必须可靠。官方 README 明确把 point timestamp 称为 motion undistortion 的关键,并建议只有无法做硬件同步时才使用软件 time sync,因为软件同步不能保证精度。(官方代码

这对多 LiDAR 系统尤其重要:把不同雷达先拼成一帧再交给 LIO,如果各自时钟、扫描时序和外参没有分别处理,直接法会把时序误差当成空间几何残差。

当年为什么重要

FAST-LIO2 证明了不依赖 hand-engineered LiDAR feature extraction,也能在大型室外场景实现最高约 100 Hz 的 odometry + mapping;论文还报告在室内快速旋转最高约 1000 deg/s 的运动下保持可靠估计,并覆盖 Intel、ARM、手持、UAV、旋转 LiDAR 与固态 LiDAR。(论文

它使“直接 raw-point LIO + 增量地图”成为此后大量高性能 LIO 的重要基线,也推动 ikd-Tree 成为机器人增量点云地图数据结构的代表方案之一。

今天仍然有效的思想

  • 原始点直接配准可以避免传感器特定的 edge/plane feature pipeline;
  • IMU propagation 与点级 deskew 是高速 LiDAR 导航的基础;
  • 状态维度远小于测量维度时,应利用矩阵结构优化滤波更新;
  • 局部地图必须支持真正的增量更新,而不是每帧重建索引;
  • 高速局部 LIO 与低频全局回环/RTK 后端可以解耦;
  • 时间同步、点时间和外参错误往往比“换优化器”更致命。

已经被后续方法替代或扩展的部分

FAST-LIO2 本身主要是 odometry / incremental mapping,不提供完整长期回环与多 session 地图管理。后续系统增加了视觉、回环、GNSS、地图定位、动态点处理以及更丰富的退化检测;voxel hash、surfel、Gaussian 与其他增量地图结构也在不同场景中替代 ikd-Tree。

另外,“不提 edge/plane feature”并不等于没有几何退化:长直走廊、大平面、隧道仍可能使 point-to-plane 几何约束缺少某些方向的信息。现代工程系统应显式监控 Hessian/信息矩阵的可观测方向,并在退化时融合轮速、RTK、反光标志或其他传感器。

公开代码、数据和可复现性

官方 hku-mars/FAST_LIO 仓库仍公开,README 给出 Livox、Velodyne/Ouster、外部 IMU、ARM 平台和 rosbag 示例,并提供 Docker 运行方式。仓库许可证当前标为 GPL-2.0;如果用于闭源商业产品,需要单独评估许可证影响。(官方代码

复现时最值得逐项检查:每点 time 字段、LiDAR 与 IMU 硬件同步、extrinsic_T/R 方向、IMU 噪声单位、LiDAR timestamp unit、局部地图范围、降采样大小以及平台振动。对于 Livox,官方还特别说明 CustomMsg 的逐点 timestamp 对去畸变非常重要。

对当前工程项目的重新解读

今天重新看 FAST-LIO2,最值得保留的不是“某个参数能跑 MID360”,而是三个架构原则:

每个 LiDAR 独立处理时间戳 / 外参 / 去畸变
            ↓
IMU 高频传播 + 局部直接 scan-to-map
            ↓
按传感器几何健康度自适应加权
            ↓
有限局部地图 / 增量空间索引
            ↓
RTK、轮速、反光标志、回环进入低频全局因子图

多 LiDAR 不应先无条件拼接。前向 MID360、后向 MID360 与 16 线雷达应分别计算时间质量和几何可观测性;当 16 线雷达在长走廊、大平面或俯仰变化中退化时,降低其 measurement weight,而不是让其点数继续主导配准。FAST-LIO2 的“所有原始点都可用”不等于“所有原始点都应该具有同样权重”。

今日结论

今天最值得关注的不是某一个超级 SLAM 或超级 VLA,而是多个模块都开始主动处理现实系统中的失配与工程边界

定位侧,WRAP 说明滤波器的下一步不一定是换成更复杂优化器,而可能是先承认 Q/R 与 bias statistics 会变化,并把 consistency 当一等指标;Tether-Inertial Localization 则展示了“机械约束本身也是传感器”,在特殊平台上可以提供与视觉、GNSS 完全不同的冗余信息。ROEVO 进一步提醒视觉前端,点特征并不是唯一可长期维护的结构,边缘如果有序化、可关联,也可以成为真正的地图实体。

规划与控制侧,G2SD 重新引入了经典“高层拓扑、低层连续优化”的分层思想;HIL-HARC 则说明真实在线 RL 的关键不是把全部动作压进一个网络,而是合理划分 actor、共享 critic,并让人类干预逐步退出。两者共同说明:学习模型越强,系统层面的结构反而越重要。

机器人基础模型侧,RynnValue 把价值监督从昂贵人工标签转成轨迹天然存在的时间距离,可能显著降低大规模 reward model 的数据成本;XPolicyLab 则解决更现实的问题——当模型数量快速增长后,如果没有统一 observation/action contract,团队的时间会消耗在环境冲突和 adapter 重写上,而不是模型本身。

AI Coding 侧,OpenCodeReview v2 的工程价值很明确:Agent 的自主性应该有边界。能够确定化的 file dispatch、权限、schema 和最终证据检查,最好交给程序;真正需要语义理解的部分才给模型。对代码审查、自动修复和机器人 Agent 都一样,“更自由”不是可靠性的同义词。

最值得深入研究或尝试复现的方向

  1. 给现有 ESKF 做 WRAP-lite:先解决 covariance consistency,再谈换算法

    在当前 IMU + LiDAR/轮速/RTK 系统上记录 NIS、创新量与真实误差,定位哪些传感器在特定工况出现 over-confidence。第一版不需要学习 adapter,只实现受限时变 Q/R 与 robust covariance inflation,比较 ATE、NIS 和故障恢复时间。若确有明显收益,再尝试 Wasserstein 方向性协方差重分配。

  2. 把 G2SD 的“拓扑先行”思想接到现有无人机局部规划栈

    不训练完整 latent graph,先用 GCS/A*/拓扑走廊生成 2–4 个不同同伦候选,再让 diffusion/MPPI/MINCO 只在各候选内部做连续轨迹。重点比较无碰撞到达率、最小净空、轨迹动力学可行率和最坏规划延迟,验证强 guidance 是否真的会把 learned trajectory prior 推坏。

  3. 搭一个 XPolicyLab + OpenCodeReview 式“确定性外壳”研发流程

    机器人策略统一 observation/action schema,模型服务与设备客户端隔离;Coding Agent 只负责生成 adapter 和审查语义问题,install/eval/schema/revision/test 全部由确定性脚本验证。这样可以同时降低机器人模型集成成本和 Agent 自由工具调用导致的不可复现问题。

参考资料

  1. WRAP: Wasserstein-Robust Adaptive Plug-in for Robot Localization
  2. ROEVO: Robust Organized Edge Feature-based Visual Odometry Using RGB-D Cameras
  3. Tether-Inertial Localization for Planetary Drones
  4. Graph-Guided Safe Diffuser: Topological Graph Guidance for Safe Diffusion Planning
  5. Efficient Real-World Online Reinforcement Learning for Robot Manipulation via Centralized Training and Critic Decomposition
  6. RynnValue: Scaling Robotic Value Foundation Models with Temporal Distance
  7. XPolicyLab: A Unified Standard and Open Ecosystem for Robot Policy Evaluation and Deployment
  8. OpenCodeReview: Determinism over Non-Determinism for Cost-Effective Agent-Based Code Review
  9. FAST-LIO2: Fast Direct LiDAR-inertial Odometry
  10. 最新公开列表
  11. 本期核验的大模型官方发布入口