机器人 / 具身智能

Ensuring Deterministic Timing in a Federated GNSS Correction Pipeline with Lingua Franca

在联邦GNSS校正流水线中确保确定性时序与Lingua Franca

Tejeswini Jayaramareddy, Hokeun Kim, Hoeseok Yang

专题命中 具身导航 ：navigation(abstract)

AI总结 提出一种基于Lingua Franca的联邦GNSS校正数据流水线，通过显式逻辑时间语义分解端到端流水线，实现可复现的确定性时序结构。

Comments 4 pages, ReCPS, DATE Conference at Verona 2026

From Bootstrapping to Sequence Modeling: A Unified Generative Framework for Personalized Landing-Page Modeling

从引导到序列建模：个性化落地页建模的统一生成框架

Fan Li, Chang Meng, Jiaqi Fu, Shuchang Liu, Tianke Zhang, Xueliang Wang, Xiaoqiang Feng, Yongqi Liu, Kaiqiao Zhan

专题命中 具身导航 ：navigation(abstract)

AI总结 针对现有强化学习方法在个性化落地页建模中的马尔可夫假设局限和时序差分学习误差累积问题，提出基于决策变换器的统一生成框架GLAN，通过全局-局部视角建模用户跨日消费动态和会话级细粒度信号，在快手平台上线后DAU和用户生命周期分别提升0.158%和0.108%。

Comments arXiv admin note: text overlap with arXiv:2507.23459

ATGBuilder: Feature-Assisted Graph Learning for Activity Transition Graph Construction with Seed Supervision

ATGBuilder: 基于特征辅助图学习的活动转换图构建与种子监督

Chenhui Cui, Zixiang Xian, Danyu Li, Tao Li, Rubing Huang, Dave Towey, Shikai Guo, Jiakun Liu

专题命中 具身导航 ：navigation(abstract)

AI总结 提出ATGBuilder，利用大语言模型总结UI布局元数据，并将控件触发信息建模为边属性，通过辅助重构目标进行图学习，在种子监督下构建高质量活动转换图，显著优于现有方法。

A Kalman Filter-Based Tracking Loop Design for Real-Time Aerospace GNSS Applications with Minimum Pull-Out Probability

基于卡尔曼滤波的跟踪环路设计，用于实时航空航天GNSS应用，具有最小拉出概率

J. Fermín Llorente, Javier A. Smidt, Pedro A. Roncagliolo, Ramón López La Valle

专题命中 具身导航 ：navigation(abstract)

AI总结 针对硬件相关器处理延迟导致传统卡尔曼滤波次优的问题，提出修正卡尔曼滤波（mKF），通过重测量更新保持最优性，并基于拉出概率解析表达式系统化调谐参数，在同等噪声带宽下实现更低高阶状态误差和更高动态锁定能力。

Comments This is a revised version of the manuscript. V1 was previously posted on TechRxiv with DOI: 10.36227/techrxiv.176344172.21345819/v1 This work has been submitted to the IEEE for possible publication

Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)

基于s(CASP)的复杂自主无人机任务执行与决策

Keegan Kimbrell, Alexis R. Tudor, Peter Van, Trevor Bihl, Doug Slattery, Gopal Gupta

专题命中 具身导航 ：navigation(abstract)

AI总结 提出使用s(CASP)回答集编程系统构建符号状态中心的无人机代理，在虚幻引擎5环境中实现基于约束的常识推理，支持多步骤自主行为并动态调整计划，确保决策正确可解释。

Emergent Self-Organisation of Intelligent Active Particles

智能活性粒子的涌现自组织

Priyanka Iyer, Segun Goh, Gerhard Gompper

专题命中 具身导航 ：navigation(abstract)

AI总结 研究智能活性粒子通过非互易相互作用和信息传播形成涌现自组织，包括群体形成、捕食行为和复杂环境导航。

Comments "perspective" article, 6 figures

Flexibility Controls Active-Filament Transport in Crowded Landscapes

柔性控制拥挤环境中的活性细丝输运

Qingyi Di, Mohammad Fazelzadeh, Sara Jabbari-Farouji

专题命中 具身导航 ：navigation(abstract)

AI总结 通过布朗动力学模拟，研究活性聚合物在有序和无序障碍物阵列中的输运，发现柔性在中等时优化无序环境中的扩散，而半柔性细丝在密集有序阵列中因定向运动增强迁移率，并识别出三种输运机制。

Comments 15 pages, 16 figures

Sub-Randers metrics

子Randers度量

Layth M. Alabdulsada

专题命中 具身导航 ：navigation(abstract)

AI总结 提出子Randers度量，通过添加单形式到子黎曼度量定义，利用庞特里亚金最大值原理导出正规测地线方程，证明Zermelo导航生成正规测地线，并推广Hopf-Rinow定理。

Comments 15 pages

Snatcher: Apple Find My Network Exposes Your Lost Devices To Strangers

Snatcher：苹果Find My网络将你的丢失设备暴露给陌生人

Zhenyu Ren, Yanbo Zhang, Boya Liu, Mo Li

专题命中 具身导航 ：navigation(abstract)

AI总结 本文揭示苹果Find My网络因BLE广播不安全、设计权衡等漏洞，开发基于Android的Snatcher攻击框架，通过声音定向、传感器融合导航和时空聚类实现物理追踪，指出隐私保护与物理安全的冲突。

Comments To appear in the Proceedings of the 2026 ACM Conference on Computer and Communications Security (CCS '26)

Storyline Trees: Hierarchical Representations for Long-Form Narratives

故事线树：长篇叙事的层次化表示

Litu Ou, Mirella Lapata

机构 * School of Informatics University of Edinburgh（信息学院爱丁堡大学） 纠错

专题命中 具身导航 ：navigation(abstract)

AI总结 提出故事线树，通过自顶向下和自底向上过程构建叙事层次结构，实现自适应检索，在长上下文叙事问答中优于强基线方法。

A Metaheuristic Framework for Optimized HAPS-Aided Localization in Urban Areas

面向城市区域优化的HAPS辅助定位的元启发式框架

Hongzhao Zheng, Mohamed Atia, Halim Yanikomeroglu

专题命中 具身导航 ：navigation(abstract)

AI总结 提出一种元启发式框架，通过集成3D城市模型、射线追踪和多目标优化，联合优化高海拔平台站的数量与部署，以提升城市环境中的定位精度，实验表明2-5个HAPS可显著降低定位误差。

Comments 18 pages, 40 figures

GNSS Spoofing Threat for V2X communications

GNSS欺骗对V2X通信的威胁

Adolfo P. Jimenez, Juan Arquero-Gallego, Mario P. Luna, Jose E. Naranjo, Felipe Jimenez Alonso

专题命中 具身导航 ：navigation(abstract)

AI总结 本文提出利用廉价软件定义无线电（SDR）对V2X通信实施GNSS欺骗攻击的方法，并在真实设备上验证了攻击效果，揭示了V2X通信易受欺骗且难以检测的安全漏洞。

Comments 2026 IEEE\@. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

HANSEL: Extracting Breadcrumbs from Web Agent Trajectories for Interactive Verification

HANSEL: 从Web智能体轨迹中提取面包屑用于交互式验证

Yujin Zhang, Daye Nam

专题命中 具身导航 ：navigation(abstract)

AI总结 提出HANSEL系统，从AI智能体轨迹中提取可交互验证的证据，减少用户审查负担，在基准测试中达到83.7%精确率和88.9%召回率，用户研究显示显著降低任务完成时间和感知努力。

Comments 13 pages, 6 figures

Riemannian Metric Preconditioning for Trajectory Tracking

轨迹跟踪的黎曼度量预条件

Jacob R. Goodman, Hajg Jasa

专题命中 具身导航 ：navigation(abstract)

AI总结 提出秩一黎曼共度量更新以降低特定运动方向的代价，建立完备性并给出Levi-Civita联络显式表征，通过添加联络差项改进标准内禀PD控制实现预条件轨迹跟踪。

Comments 8 pages, 2 figures. The code can used to conduct simulations can be found at https://doi.org/10.5281/zenodo.20442932

Topological complexity for closed 1-forms

闭1-形式的拓扑复杂度

Kenji Fukushi

专题命中 具身导航 ：navigation(abstract)

AI总结 引入闭1-形式的拓扑复杂度概念，建立其基本性质与不等式，并证明梯度流方法给出上界。

Comments 29 pages

Is It Real? Exploiting Virtual-Physical Discrimination Vulnerability in Mixed Reality

这是真的吗？利用混合现实中的虚实辨别漏洞

Xueyang Wang, Xihuan Yao, Yanming Xiu, Xin Yi, Maria Gorlatova, Hewu Li

专题命中 具身导航 ：navigation(abstract)

AI总结 研究混合现实头显中用户无法区分虚拟与真实物体的漏洞，通过专家研讨和四项概念验证攻击（成功率85%-100%），揭示了攻击如何改变用户行为，并提出平台级溯源、交互门控和用户教育等防御措施。

Comments Accepted at the 2026 USENIX Symposium on Usable Privacy and Security (SOUPS 2026)

A magnetic environment with reproducible spatio-temporal magnetic conditions at picotesla level

皮特斯拉级可重复时空磁条件的磁环境

Philipp Wunderl, Maximilian Huber, Florian Büttiker, Jonas Emrich, Peter Ewert, Peter Fierlinger, Reinhard Heckel, Felix Herz, Tobias Jensch, Kim Kölbl, Florian Kuchler, Thorben Lützel, Karin Narushima, René Seiger, Jonas Vögtle, Annette Wacker-Gussmann, Chiara Weckmann, Lena Wunderl, Peisen Zhao

专题命中 具身导航 ：robotic(abstract)

AI总结 提出一种被动屏蔽磁环境，在中心测量体积内实现低于100 pT的残余磁场，并通过机器人映射实现皮特斯拉级可重复性，支持光泵磁力计在无主动反馈下运行，应用于成人和胎儿心磁图、站立脑磁图及超低场磁共振。

Comments 26 pages, 8 figures, submitted to Nature Communications

Transferable Self-Evolving Playbooks for Agentic Security Auditing

可迁移的自演化剧本用于智能体安全审计

Ziyue Wang, Cheuk Wang Maurice Ng, Chenchen Yu, Strick Sheng, Kaihua Qin, Liyi Zhou

专题命中 具身导航 ：navigation(abstract)

AI总结 提出EvoHunt框架，通过审计、评估和修订三个智能体循环演化空剧本，自动生成安全审计程序知识，开源演化可超越商业产品，且演化后的剧本可迁移至弱智能体提升其能力。

C^2: Cache-Conscious Succinct Tries with Adaptive Unary Path Compression

C^2：具有自适应一元路径压缩的缓存感知简洁字典树

Kepan Zhang, Tiancheng Zhao, Helen Xu

专题命中 具身导航 ：navigation(abstract)

AI总结 针对现有简洁字典树在空间局部性上的两大挑战，提出C^2优化技术，通过缓存友好布局（C_1）和一元路径压缩（C_2）提升查询性能和空间效率。

A Prototypical Decision-Support Tool for Household Energy Management: A New Zealand Case Study

家庭能源管理的原型决策支持工具：新西兰案例研究

Abdollah Baghaei Daemei

专题命中 具身导航 ：navigation(abstract)

AI总结 本文介绍了一个基于Web的新西兰家庭能源检查原型，通过引导式检查、评分和优先排序行为建议，帮助家庭识别可避免的能源浪费，并生成节能路线图。

Hierarchical Generative Agents for Simulating Sequential Human Behavior

用于模拟序列人类行为的层次化生成式智能体

Maria G. Mendoza, Lucas Waldburger, Jin Lee, Shankar Sastry

专题命中 具身导航 ：navigation(abstract)

AI总结 提出基于认知层次和人格驱动的生成式智能体框架，结合大语言模型和人类疏散数据，模拟灾害中序列决策行为。

Comments 20 pages, 6 figures

Direct High-Resolution Imaging of Earth-like Exoplanets with the Solar Gravitational Lens

利用太阳引力透镜对类地系外行星进行直接高分辨率成像

Slava G. Turyshev

专题命中 具身导航 ：navigation(abstract)

AI总结 提出标量孔径平均可观测性基准，通过太阳引力透镜对类地系外行星进行分辨成像，结合正则化傅里叶/维纳反演，在30 pc处实现200-230 km级空间对比度。

Comments 35 pages, 17 figure, 5 tables

Automated Gaze-based Behavioral Segmentation and Temporal Representation for Bridge Inspection in Unconstrained 3D Environments

基于自动注视行为分割与时间表示的非约束三维环境桥梁检测

Daniel Jimenez Gil, Haosen Zhang, Zixin Wang, Mohamad Alipour

专题命中 具身导航 ：navigation(abstract)

AI总结 提出自动分析框架，将非约束3D注视、头部运动、无人机导航和场景几何数据分割为全局扫描、局部检测和导航三种功能模式的时间序列，提取行为描述符，揭示检测策略差异及与性能的关系。

Comments 46 pages, 13 figures

Solar System Technosignatures

太阳系技术印记

T. Joseph W. Lazio

专题命中 具身导航 ：robotic(abstract)

AI总结 本文利用行星探测和天文巡天数据，评估了太阳系中可能存在的技术印记（如星际探测器或表面遗迹）的探测极限，发现目前仅能给出极粗略的上限，且某些大型探测器或遗迹可能未被发现。

Comments 21 pages, 4 figures; based on invited presentation at IAU Symposium 404 "Advancing the Search for Technosignatures," https://www.iau.org/Iau/Science/Scientific-Meetings/IAUM2026/IAUS404.aspx

Beyond the IT Checklist: Engineering a Reasonable Standard of Care for Cyber Safety

超越IT检查清单：为网络安全设计合理的注意标准

Matthew E. Jablonski, Linton Wells, Kathryn B. Laskey, F. Brett Berlin

专题命中 具身导航 ：navigation(abstract)

AI总结 本文通过分析292份关键基础设施政策文件，指出当前以IT合规为中心的网络安全方法不足以应对网络物理系统的安全风险，并提出基于危险特定可追溯性、结构化保证案例和网络弹性工程的现代化注意标准。

Comments 6 pages, 2 figures, Accepted for publication and presentation the Cyber Safety Summit, Washington, D.C., 2026

Web-Native Graphical EMF Model Editors

Web原生图形化EMF模型编辑器

Susanne Göbel, Ralf Lämmel

专题命中 具身导航 ：navigation(abstract)

AI总结 提出纯Web框架EMFular，基于Ecore模型自动生成图形编辑器，支持EMF一致性操作与Angular扩展，实现低代码生成、高可定制与无后端部署。

Ambiguity-Free Inertial Measurement with Multi-Wavelength Atom Interferometry

多波长原子干涉仪的无模糊惯性测量

Wei-Chen Jia, Yue Xin, Ke Shen, Yan-Ying Feng

专题命中 具身导航 ：navigation(abstract)

AI总结 通过多波长原子干涉合成包络实现无模糊惯性测量，实验演示了双轴旋转与加速度传感，并解决了传统原子干涉仪的相位模糊问题。

Comments 10 pages,4 figures

From Prompt to Purchase: How AI Brand Recommendations Move Consumers on the Open Web

从提示到购买：AI品牌推荐如何在开放网络上推动消费者行为

Michael Iannelli, Alan Ai

专题命中 具身导航 ：navigation(abstract)

AI总结 通过面板数据结合点击流和AI对话，发现AI推荐品牌后，用户搜索、访问品牌网站和零售商页面显著增加，且效应在控制预趋势后依然显著。

Comments 10 pages, 4 figures, 9 tables

WebChallenger: A Reliable and Efficient Generalist Web Agent

WebChallenger: 一个可靠且高效的通用型Web智能体

Jayoo Hwang, Xiaowen Zhang, Vedant Padwal

机构 * ML Collective ； longsurf.ai ； Independent（独立研究者） 纠错

专题命中 具身导航 ：navigation(abstract)

AI总结 提出WebChallenger框架，通过PageMem结构化页面表示、分治观察、轻量探索记忆和复合动作工作流，复现人类认知优势，使开源模型在多个Web导航基准上接近前沿专有系统性能。

Safecloud: A Distributed, Encrypted Storage Cloud for Streaming

Safecloud: 一种用于流媒体的分布式加密存储云

Gregory Magarshak

专题命中 具身导航 ：navigation(abstract)

AI总结 提出Safecloud，一种分布式加密存储与流媒体网络，通过密钥分层、收敛内容寻址和并行树结构实现端到端加密、去重和高效流式访问，并引入基于腐败证明的经济激励机制。

Comments 7 pages, 2 tables. Reference implementation open-source. Companion to Intercloud (arXiv:2605.22830) and a forthcoming Safecloud 2.0 compute paper