机器人 / 具身智能

Low-power analogue neural networks with trainable nonlinear connections for continuous control

具有可训练非线性连接的低功耗模拟神经网络用于连续控制

Ian T. Vidamour, Fernando Aguirre, Thomas J. Hayward, Matthew O. A. Ellis, Charles Swindells, Alexander McDonnell, Martin Trefzer, Finley Robins, Luca Manneschi, Susan Stepney, Tony Kenyon, Oliver J. Sutton, Jack C. Gartside, Ivan Y. Tyukin, Adnan Mehonic, Eleni Vasilaki

机构 * School of Computer Science, University of Sheffield（谢菲尔德大学计算机科学学院） ； Intrinsic Semiconductor Technologies（Intrinsic Semiconductor Technologies公司） ； School of Chemical, Biological, and Materials Science Engineering, University of Sheffield（谢菲尔德大学化学、生物与材料科学工程学院） ； School of Physics, Engineering, and Technology, University of York（约克大学物理、工程与技术学院） ； Department of Computer Science, University of York（约克大学计算机科学系） ； Department of Electronic & Electrical Engineering, University College London（伦敦大学学院电子与电气工程系） ； King’s College London（伦敦国王学院） ； Blackett Laboratory, Imperial College London（帝国理工学院布莱克特实验室） 纠错

专题命中 机器人数据与评测 ：robotic(abstract)；分类 cs.AI、cs.LG

AI总结 受Kolmogorov-Arnold网络启发，在连接上放置可训练非线性函数，使每个物理连接成为可学习计算单元，通过现场可编程模拟阵列实现带通滤波器，在连续控制等任务上以更少节点和连接达到高效，预计CMOS实现功耗约30微瓦。

Comments Preprint. Further verification of all simulations is ongoing. Any resulting corrections will be incorporated in a revised version

The Evaluation Cost of Task Specialization in Evolutionary Multi-Robot Systems

进化多机器人系统中任务专业化的评估成本

Paolo Leopardi, Heiko Hamann, Jonas Kuckling, Tanja Katharina Kaiser

机构 * University of Konstanz（康斯坦茨大学） ； Centre for the Advanced Study of Collective Behaviour（集体行为高级研究中心） ； Department of Computer and Information Science（计算机与信息科学系） ； University of Technology Nuremberg（纽伦堡工业大学） ； Department of Computer Science and Artificial Intelligence（计算机科学与人工智能系） 纠错

专题命中 机器人数据与评测 ：robotics(abstract)；分类 cs.RO

AI总结 研究在进化多机器人系统中，任务专业化与通用行为相比所需的评估预算成本，发现随着系统规模增大，更少的预算即可使专业化表现优于通用化。

Comments Accepted for publication at GECCO '26 Companion: Proceedings of the Genetic and Evolutionary Computation Conference Companion. Supplementary video: https://youtu.be/U5LNICts7Ek

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification

VeryTrace: 通过可编译形式化与结构化验证验证推理轨迹

Ninghan Zhong, Ahmet Ege Tanriverdi, Kaan Kale, Sriram Vishwanath

机构 * School of Electrical and Computer Engineering, Georgia Institute of Technology, USA（佐治亚理工学院电子与计算机工程学院） ； Department of Electrical and Computer Engineering, Bogazici University, Turkey（博亚奇大学电子与计算机工程系） 纠错

专题命中 机器人数据与评测 ：robotics(abstract)；分类 cs.AI

AI总结 提出VeryTrace框架，将自然语言推理轨迹形式化为可编译的领域特定语言（DSL），结合确定性检查与LLM审计进行混合验证，实现步骤级错误定位与修复，在数学、机器人规划、亲属推理任务上提升准确率。

Comments Accepted at LM4Plan Workshop @ ICML 2026

MapReason-OSM: Can Vision-Language Models Make Graph-Verifiable Mobility Decisions from Street Maps ?

MapReason-OSM：视觉语言模型能否从街道地图中做出可图验证的移动决策？

Srinivas Venkatanarayanan, Clement Pakkam Isaac

机构 * NVIDIA（英伟达） ； University of Central Florida（中佛罗里达大学） ； University of South Florida（南佛罗里达大学） 纠错

专题命中 机器人数据与评测 ：navigation(abstract)；分类 cs.CV

AI总结 提出MapReason-OSM基准，通过自渲染OpenStreetMap面板和隐藏街道图，评估VLM在路由、设施定位等任务中做出可图验证的移动决策的能力，发现模型在图形成本推理和跨缩放一致性上表现不佳。

Comments 9 pages, 7 figures. Submitted to ACM SIGSPATIAL 2026 (Industrial Track). Code and data: https://github.com/Vi-Sri/mapreason-osm

The effect of micro-changes in the pluck trajectory on the sound of an acoustic guitar

拨弦轨迹的微变化对原声吉他声音的影响

Marek Pluta, Jan Jasiński, Daniel Tokarczyk, Julia Grygiel

机构 * AGH University of Krakow（克拉科夫AGH大学） 纠错

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

AI总结 通过机器人拨弦器以192微米步进改变拨弦深度，研究拨弦轨迹微变化对原声吉他响度、音色、谐波含量和衰减过程的影响，并考察六种拨片材料的作用。

Comments Published in Vibrations of Physical Systems

Journal ref M. Pluta, J. Jasinski, D. Tokarczyk and J. Grygiel, "The effect of micro-changes in the pluck trajectory on the sound of an acoustic guitar", Vibrations in Physical Systems, 2025, 36. 10.21008/j.0860-6897.2025.2.05

The mechanics of anisotropic active plates with applications to cell alignment on curved substrates

各向异性活性板的力学及其在弯曲基底上细胞排列中的应用

Gabriele Fioretto, Giulio Lucci, Chiara Giverso, Luigi Preziosi

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

AI总结 基于Föppl-von Kármán极限，发展活性各向异性板的连续介质力学框架，通过渐近展开推导耦合平衡方程，应用于弯曲基底诱导的细胞排列，预测从垂直到平行的超临界分岔，并解释不同细胞类型的实验现象。

Journal ref Journal of the Mechanics and Physics of Solids, vol. 216, 2026