机器人 / 具身智能

Vernata: Self-Supervised Learning of LiDAR Point Representations

Vernata：激光雷达点表示的自监督学习

Oliver Lemke, Alexander Liniger, Abel Gawel, Marco Hutter

机构 * Robotics and AI Institute（机器人与人工智能研究院） ； ETH Zurich（苏黎世联邦理工学院） 纠错

专题命中 其他机器人 ：robotic(abstract)；分类 cs.RO、cs.CV

AI总结 本研究提出基于Sonata架构的Vernata自监督学习框架，通过三项扩展优化激光雷达点云表示，在多数据集上相比基线取得显著性能提升，模态减少场景下仍保持竞争力

Comments IROS 2026. Implementation: https://github.com/rai-opensource/vernata

SoRoMoX: Fast, Differentiable, and Parallelizable Soft Robot Models

SoRoMoX：快速、可微分且可并行化的软体机器人模型

Maximilian Stölzle, Solange Gribonval, Daniel Feliu-Talegon, Vito Daniele Perfetta, Michele Martini, Chuhan Zhang, Kiwan Wong, Mohammed Tarnini, Anup Teejo Mathew, Federico Renda, Daniela Rus, Cosimo Della Santina

专题命中 其他机器人 ：robotics(abstract)；分类 cs.RO、cs.AI

AI总结 本文提出首个直接在GPU运行且端到端可微分的软体机器人建模框架SoRoMoX，其CPU顺序rollout提速18.1倍、GPU并行吞吐量提升234.6倍，可实现高精度系统辨识、控制优化及强化学习等先进工作流。

Learning GR(1) Specifications from Traces

从轨迹学习GR(1)规范

Sam Nicholas Kouteili, William Fishell, Mark Santolucito, Ruzica Piskac

专题命中 其他机器人 ：robotics(abstract)

AI总结 本文提出基于SAT的工具GR1MINE，利用GR(1)时序骨架与学习子句提升效率，在GR(1)及非GR(1)规范基准上，其学习可实现公式的速度与性能均优于现有基线工具。

Comments Accepted to Formal Methods in Computer-Aided Design (FMCAD) 2026

Active movement of foraging sea turtles generates anomalous looping

觅食海龟的主动运动产生异常环路

Vijay Kumar, Vladimir V. Palyulin, Perla Roman-Torres, Christophe Eizaguirre, Rainer Klages

专题命中 其他机器人 ：robotic(abstract)

AI总结 研究基于红海龟追踪数据构建随机广义朗之万方程，发现其主动运动产生无法用洋流解释的异常环路，该环路可维持觅食区域并产生超扩散，或启发机器人搜索与AI优化算法。

Comments 11 pages, 4 figures (accompanied by 38 pages of supplementary information with 40 figures and 1 table)

Autonomous Optimization of Complex Oxides for Thermochemical Fuel Production

用于热化学燃料生产的复杂氧化物的自主优化

Shuiping Gong, Mingcheng Li, Han Hao, Zhenhao Zhou, Yi Li, Xiaobo Liao, Cheng Fang, Jian Deng, Jiangang He, Wenpei Gao, Yakun Yuan, Chris Wolverton, Tao Deng, Chaochao Dun, Runxia Cai, Zhenpeng Yao

专题命中 其他机器人 ：robotic(abstract)

AI总结 本综述针对热化学燃料生产中复杂氧化物优化的难题，提出整合高通量计算、自动化技术与机器学习的闭环自主设计方案，梳理相关进展并指出关键挑战。

Comments 31 pages, 3 figures, 1 table