AI Agent

DynCur-Geo: Dynamic Curiosity Reward Shaping for Multimodal Active Geo-Localization

DynCur-Geo：面向多模态主动地理定位的动态好奇心奖励塑造

Yiming Sun, Yang Zhang, Pengfei Zhu

专题命中 工具调用 ：agent(abstract)

AI总结 本文提出DynCur-Geo动态好奇心框架，通过距离感知门与势能奖励塑造优化多模态主动地理定位，在多场景实验中较基线方法取得一致性能提升。

Comments 24 pages, 18 figures, 15 tables. The main paper is 7 pages, with supplementary material included

Backward Layout Search for Sequence-Constrained Robotic Assembly

面向序列约束机器人装配的反向布局搜索

Xi Zhang, Jiancong Dai, Hao Chen, Zhengtao Hu, Changcai Yang, Weiwei Wan

机构 * College of Computer and Information Sciences, Fujian Agriculture and Forestry University（福建农林大学计算机与信息学院） ； School of Mechatronic Engineering and Automation, Shanghai University（上海大学机电工程与自动化学院） ； Department of System Innovation, Graduate School of Engineering Science, Osaka University（大阪大学工程科学研究生院系统创新系） 纠错

专题命中 工具调用 ：planning(abstract)

AI总结 针对序列约束机器人装配布局规划的挑战，提出反向布局搜索（BLS）算法，通过反向分配零件初始位姿并结合多维度检查与波束选择，在5个装配模型上实现了更优的无碰撞布局规划，减少了评估次数与搜索时间。

Comments Submit to ROBIO2026

XRF-to-Optical Field-of-View Localization with Vision Language Models

基于视觉语言模型的X射线荧光（XRF）与光学显微镜视场（FOV）定位

Xiangyu Yin, Tatjana Paunesku, Letonia Copeland-Hardin, Martina Ralle, Zichao Wendy Di, Si Chen, Gayle E. Woloschak, Barry Lai, Mathew J. Cherukara, Stefan Vogt

机构 * Northwestern University（西北大学） ； University of Chicago（芝加哥大学） ； Oregon Health and Science University（俄勒冈健康与科学大学） ； Argonne National Laboratory（阿贡国家实验室） 纠错

专题命中 工具调用 ：workflow(abstract)

AI总结 本文针对跨模态显微图像的视场定位难题，提出结合视觉语言模型（VLM）的候选生成-验证工作流，在低对应度的相邻切片成像数据中实现了有效定位，为关联XRF与光学显微测量提供了支撑。

Extremes on Rewind: Generating 1,000-Member Ensembles Initialized at a Final Condition

回溯极端事件：在最终状态条件下初始化生成1000成员集合

Jerry Lin, Mu-Ting Chien, Mansi Sakarvadia, Elizabeth A. Barnes

专题命中 工具调用 ：planning(abstract)

AI总结 本研究使用非自回归基础模型cBottle-video生成1000成员集合，针对三个极端事件验证了终点约束集合的多样性与有效性，为罕见高影响事件的情景规划提供了高效方案。

Comments 38 pages, 21 figures; includes 17 pages of Supporting Information with 15 figures

A Computer-Assisted Proof of the Optimal Density Bound for Pinwheel Covering

风车覆盖最优密度边界的计算机辅助证明

Akitoshi Kawamura, Yusuke Kobayashi

专题命中 工具调用 ：agent(abstract)

AI总结 本文通过结合已有技术与新数学见解，经计算机辅助搜索验证，确定风车覆盖调度的最优密度边界α*=1.264…，解决了相关开放问题，且该结果被独立证实。

Comments A conference version will appear in ESA 2026

Searchable Menus

可搜索菜单

Frank Yang, Piotr Dworczak

专题命中 工具调用 ：agent(abstract)

AI总结 本文研究代理人视角下受可处理性约束的最优筛选机制，提出可搜索菜单要求，在多产品垄断等不同场景推导最优可搜索菜单形式，得出多维筛选中可搜索性限制可实施结果集合的结论。

Comments 83 pages, 1 figure

VisDocAgentBench: Benchmarking Agents for Visually Rich Document Retrieval

VisDocAgentBench：面向视觉丰富文档检索的智能体基准测试

Lexiang Hu, Yanzhao Zhang, Mingxin Li, Dingkun Long, Yikang Li, Fuwei Zhang, Yisen Wang, Zhouchen Lin

专题命中 工具调用 ：agentic(abstract)

AI总结 该研究提出VisDocAgentBench基准，对比静态与智能体检索，发现视觉检索优于OCR文本检索，智能体可改善双桥项检索性能，为检索智能体发展提供方向。

Security Assessment of DeepSeek Harness with A.I.G: Evaluating Resistance to Indirect Prompt Injection

基于A.I.G的DeepSeek Harness安全评估：对间接提示注入的抗性评估

Zonghao Ying, Xiangfan Wu, Huiyu Wu, Xing Zheng, Huangsheng Cheng, Xiaorong Shi, Jing Guo

专题命中 工具调用 ：agent(abstract)

AI总结 本研究用A.I.G评估DSH的间接提示注入抗性，开展多场景实验，发现不同攻击的成功率，明确需在不可信内容与敏感动作间增设控制措施。

Succinct Structure Representations for Efficient Query Optimization

紧凑的结构表示用于高效的查询优化

Zhekai Jiang, Qichen Wang, Christoph Koch

专题命中 工具调用 ：planning(abstract)

AI总结 本文提出了一种紧凑的元分解表示，用于高效查询优化，通过在多项式时间内构造并枚举所有可能的连接树，提升了查询优化效率。

Comments Full version for SIGMOD 2026 accepted paper

Journal ref Proc. ACM Manag. Data 4, 3 (SIGMOD), Article 240 (June 2026), 27 pages

ScenarioCharacterization: A Modular Toolkit for Characterizing Safety across Trajectory Datasets

ScenarioCharacterization：用于刻画轨迹数据集安全性的模块化工具包

Ingrid Navarro, Yutong Duan, Jonathan Francis, Jean Oh

机构 * Robotics Institute, School of Computer Science, Carnegie Mellon University（卡内基梅隆大学计算机学院机器人研究所） ； Stack AV ； Bosch Center for Artificial Intelligence（博世人工智能中心） 纠错

专题命中 工具调用 ：agent(abstract)

AI总结 本文提出开源模块化框架ScenarioCharacterization，可自动刻画轨迹数据集的驾驶场景安全性，适配多数据集，在Waymo等数据集上验证，支持下游应用。

Comments 9 pages, 7 figures, 3 tables

Data-driven registration and modeling of brain deformation for image-guided neurosurgery

数据驱动的图像配准与变形建模在图像引导神经外科中的应用：系统综述

Tiago Assis, Colin P. Galvin, Joshua P. Castillo, Nazim Haouchine, Marta Kersten-Oertel, Zeyu Gao, Mireia Crispin-Ortuzar, Stephen J. Price, Thomas Santarius, Yangming Ou, Sarah Frisken, Nuno C. Garcia, Alexandra J. Golby, Reuben Dorent, Ines P. Machado

机构 * LASIGE, Faculty of Sciences, University of Lisbon（里斯本大学科学学院LASIGE） ； Department of Neurosurgery and Department of Radiology, Brigham and Women's Hospital, Harvard Medical School（哈佛医学院布里洛妇女医院神经外科与放射科） ； Gina Cody School of Engineering and Computer Science, Concordia University（康科迪亚大学工程与计算机科学学院） ； Cancer Research UK Cambridge Centre, University of Cambridge（剑桥大学癌症研究英国中心） ； Department of Oncology, University of Cambridge（剑桥大学肿瘤科） ； Department of Clinical Neurosciences, University of Cambridge（剑桥大学临床神经科学系） ； Computational Health Informatics Program (CHIP) and Department of Radiology, Boston Children's Hospital, Harvard Medical School（哈佛医学院波士顿儿童医院计算健康信息学计划与放射科） ； Sorbonne Université, Institut du Cerveau - Paris Brain Institute - ICM（索邦大学巴黎脑研究所-ICM） 纠错

专题命中 工具调用 ：planning(abstract)

AI总结 系统综述2020-2025年间基于学习的脑变形补偿方法，包括深度学习配准、变形场回归、多模态对齐、切除感知架构及混合模型，指出当前方法在鲁棒性、标准化基准、可解释性和临床部署方面的局限，并展望未来研究方向。

Comments 41 pages, 7 figures, 9 tables. Final postprint version available in Medical Image Analysis at https://doi.org/10.1016/j.media.2026.104217

Journal ref Assis, T., et al. (2026). Data-driven registration and modeling of brain deformation for image-guided neurosurgery. Medical Image Analysis, 114, 104217

Simultaneous AlphaZero: Extending Tree Search to Markov Games

同时AlphaZero：将树搜索扩展到马尔可夫游戏

Tyler Becker, Zachary Sunberg

专题命中 工具调用 ：planning(abstract)

AI总结 同时AlphaZero通过矩阵游戏求解器扩展了AlphaZero框架，以处理多步骤双人零和马尔可夫游戏中的同时行动和不确定性。

Efficient and Accurate Surrogate-Assisted Electromagnetic Parameter Calibration for 6G Digital Twin Channels

面向6G数字孪生信道的高效高精度代理辅助电磁参数校准方法

Xiaofan Zou, Pan Tang, Peijie Liu, Changyou Tai

专题命中 工具调用 ：workflow(abstract)

AI总结 针对6G数字孪生信道电磁参数校准的效率与精度瓶颈，提出SGWO-IM算法，通过代理模型预筛选与优化策略，使RT仿真调用量降62.5%、RMSE降至2.97 dB，实现效率与精度的平衡。

Controlling nonergodicity in quantum many-body systems by reinforcement learning

Li-Li Ye, Ying-Cheng Lai

专题命中 工具调用 ：agent(abstract)

Comments 20 pages, 9 figures

Journal ref Phys. Rev. Research 7, 013256, 2025

Global Convergence of an SQP Method for Contact-Implicit Trajectory Optimization

接触隐式轨迹优化的SQP方法的全局收敛性

Zherong Pan, Fuquan Wang, Yifan Zhu

专题命中 工具调用 ：planning(abstract)

AI总结 本文针对约束丰富的动态系统的接触隐式轨迹优化，证明了带自适应时间步长细化的线搜索SQP方法的全局收敛性，该方法可有限终止于力参数化平稳点。

Goal-oriented Tensor: Beyond Age of Information Towards Semantics-Empowered Goal-Oriented Communications

Aimin Li, Shaohua Wu, Sumei Sun, Jie Cao

专题命中 工具调用 ：agent(abstract)

Comments 30 pages, 9 figures. arXiv admin note: substantial text overlap with arXiv:2305.04083

Journal ref IEEE Transactions on Communications, vol. 72, no. 12, pp. 7689-7704, Dec. 2024

Search and Rescue on the Plane

平面上的搜索与救援问题

Jared Coleman, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce

专题命中 工具调用 ：agent(abstract)

AI总结 该研究针对平面搜索与救援问题，确定临界角$\theta^* \approx 15.6^\circ$，据此给出不同角度下智能体的最优检查点，推导竞争比闭式表达式，优化搜索与交付的竞争性能。

VIPER-MCP: Detecting and Exploiting Taint-Style Vulnerabilities in Model Context Protocol Servers

VIPER-MCP: 检测和利用模型上下文协议服务器中的污点式漏洞

Pengyu Sun, Zifeng Kang, Qishu Jin, Enhao Huang, Xin Liu, Dakun Shen, Song Li

专题命中 工具调用 ：agent(abstract)

AI总结 本文提出VIPER-MCP，一种用于模型上下文协议服务器的端到端自动漏洞审计框架，能够检测污点式漏洞并动态验证其可利用性，通过生成具体的概念验证提示。该框架引入了两种新技术：一种是双阶段静态分析策略中的锚查询，增强了标准污点警报的功能性上下文；另一种是反馈驱动的提示进化机制，通过双变异调度和适应度评分的种子选择，逐步优化自然语言提示以达到易受攻击的sink。

APCReg: Anatomical-Prior-Guided Coarse-to-Fine CBCT--IOS Registration via Multi-View Projection and Reliability-Controlled Residual Correction

APCReg：基于解剖先验的、经多视图投影与可靠性控制残差校正的CBCT与口腔内扫描（IOS）粗到精配准方法

Xincan Zheng, Yaqi Wang, Zhi Li, Jiahao Bao, Lan Feng, Yiru Xia, Shuai Wang

专题命中 工具调用 ：planning(abstract)

AI总结 针对CBCT与IOS自动配准不可靠的问题，提出APCReg框架，通过多视图解剖粗配准、重叠感知残差配准及牙弓结构假设选择等技术，在60个颌骨对的评估中多项指标优于开源基线。

Comments 10 pages, 7 figures

From Prompt Injection to Web Exploitation: Revisiting Classic Vulnerabilities in LLM-Integrated Applications

从提示注入到Web漏洞利用：重新审视集成大语言模型的应用中的经典漏洞

Spiros Tsigkopoulos, Christoforos Ntantogian

专题命中 工具调用 ：agentic(abstract)

AI总结 本文研究集成大语言模型的Web应用的新型攻击LLM介导的Web攻击，提出LLM2X系列攻击类型，通过实现TicketOracle实验发现模型易感性差异，给出多层缓解策略。

Dual dynamic programming for stochastic programs over an infinite horizon

无限期随机规划的对偶动态规划

Caleb Ju, Guanghui Lan

专题命中 工具调用 ：planning(abstract)

AI总结 针对无限期随机规划，本文提出CE-Inf-EDDP算法，通过整合割共享等策略提升迭代复杂度，在报童及水火电规划问题中大幅缩短迭代时间并改善解质量。

Comments Major revision updates

Thinking With Tools, Not With Pixels: Tool Calls as Text Scaffolds for Visual Reasoning

用工具思考，而非用像素思考：工具调用作为视觉推理的文本支架

Jiahao Shao, Yuanbo Yang, Yiyi Liao, Yujun Shen, Ceyuan Yang, Yinghao Xu

机构 * Hong Kong University of Science and Technology（香港科技大学） ； The Chinese University of Hong Kong（香港中文大学） ； Ant Group（蚂蚁集团） ； Zhejiang University（浙江大学） 纠错

专题命中 工具调用 ：tool use(abstract)

AI总结 该研究提出工具调用支架假设，引入TextCall方法验证返回图像冗余，仅用结构化文本支架即可实现视觉推理，降低延迟并消除工具API调用，结论适用于现有相关基准。

Scout: Scalable Document Extraction via Data Similarity

Scout：基于数据相似度的可扩展文档提取工具

Yiming Lin, Chiyu Hao, Shreya Shankar, Aditya G. Parameswaran

专题命中 工具调用 ：agent(abstract)

AI总结 Scout是一款基于文档相似度的可扩展文档提取工具，通过生成优化规则集实现高性价比数据提取，在多个真实数据集上达到与前沿LLM相当的准确率，成本大幅降低且优于同类基于程序的方法。

Machine-Guided Recurrence Boundary Theory for Nahm Sums

用于纳姆和（Nahm sums）的机器引导递推边界理论

Ankush Goswami

专题命中 工具调用 ：agent(abstract)

AI总结 该研究开发了机器引导的递推边界理论，结合符号搜索与Q学习发现关键结果，证明了Shi和Wang的猜想3.8，得到Zagier第十二个三阶秩示例对偶纳姆和的二阶递推与五单元证明。

Comments Comments Welcome!

Examining QRMI as a Unified Interface for Quantum-HPC Integration

将量子资源管理接口（QRMI）作为量子与高性能计算集成的统一接口进行研究

Thomas Badts, Tim Boyle, Claudio Carvalho, Antonio Córcoles, Andrew Damin, Vadim Elisseev, Jonathan Frassineti, Daniel Gruber, Hiroshi Horii, Eun-Kyung Lee, James Machin, Sara Marzella, Mateusz Meller, Daniel Milroy, Matthieu Moreau, Munetaka Ohtani, Elisabeth Ortega-Carrasco, Doug Oucharek, Yoonho Park, Adarsh Patil, Emre M. Sahin, Gábor Samu, Seetharami Seelam, Amir Shehata, Vanessa Sochat, James Thorne, Oscar Wallis, Aleksander Wennersteen

专题命中 工具调用 ：workflow(abstract)

AI总结 研究如何将量子资源集成到高性能计算环境，核心方法是用QRMI通过中间件层提供标准化API。贡献是将QRMI验证扩展到多种工作负载管理器，证明其提供可移植灵活抽象层，能跨环境一致访问异构量子资源。

Comments 16 pages, 3 tables, 3 figures, 13 listings, unpublished manuscript

MIA: A Visual Analytics System for Multimodal Spectral Imaging Data

MIA：一种用于多模态光谱成像数据的可视分析系统

Hennes Rave, Katharina Kronenberg, Hannes Gödde, Lea Tobergte, Michael Holtkamp, Julia Werner, Peter Bohrer, Fabian Lohöfer, Rickmer Braren, David Clases, Uwe Karst, Lars Linsen

专题命中 工具调用 ：workflow(abstract)

AI总结 提出一种模态无关的可视分析系统MIA，集成光谱预处理、降维、交互分割和相似性分析等全流程，支持层次化嵌入和多模态数据联合分析，通过三个实际案例验证其有效性。

Journal ref Computers & Graphics, Vol. 139, Art. 104727, 2026

Joint Optimization of Qubit Leasing and Quantum Circuit Distribution

量子比特租赁与量子电路分布的联合优化

Anoushka Dey, Gaurav S. Kasbekar

专题命中 工具调用 ：agent(abstract)

AI总结 针对量子网络中执行量子电路的资源租赁与分配问题，提出整数线性规划模型，证明NP完全性，并设计贪心算法求解。

Physics-Grounded Materials Artificial Intelligence for Reliable Materials Discovery

基于物理学原理的材料人工智能用于可靠的材料发现

Yuhang Wang, Qian Wang, Seong-Hoon Jang, Hao Li

专题命中 工具调用 ：AI agent(abstract)

AI总结 该研究提出PhysMat AI框架，整合物理知识用于材料发现，通过多领域示例说明其应用，还规划了从物理感知到自主AI的发展路线，助力可靠材料发现。

Precision and Decisiveness as Goals: Reliable Sequential Hypothesis Testing with a Dual Stopping Criterion

以精度和决断性为目标：采用双重停止准则的可靠序贯假设检验

Eyal A. Kazin

专题命中 工具调用 ：planning(abstract)

AI总结 该研究提出DPitG方法，结合精度目标与明确裁决，将PitG的不确定率从62%降至2%且零假阳性，符合预注册标准，适用于需可靠裁决的场景。

Comments Main section 17 pages and 9 figures, Seven Abstracts in 7 pages and 1 figure

TensorCast: The Missing Tensor Management Layer in Large Language Model Infrastructure

TensorCast：大语言模型基础设施中缺失的张量管理层

Yuhan Zhou, Yuchu Luo, Hao Nie, Wangrunze Lv, Yu Zhou, Yibo Zhu, Daxin Jiang, Chenren Xu

专题命中 工具调用 ：agent(abstract)

AI总结 该研究针对LLM基础设施中张量管理策略复用受阻的问题，提出TensorCast分布式张量管理层，将张量状态管理与计算逻辑解耦，在保持性能的同时提升多轮智能体工作负载的TTFT达93.2%。