Building atomistic models of heterointerfaces with optimal transport
基于最优传输构建异质界面的原子模型
专题命中 工具调用 ：workflow(abstract)
AI总结 本文提出融合格罗莫夫-瓦瑟斯坦（FGW）距离结合贝叶斯优化的工作流，构建异质界面原子模型，可高效筛选界面晶格匹配关系，性能优于随机搜索及预训练MACE能量引导方法。
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 工具调用 5062 篇
A proof of Esterle's conjecture on negative powers of Hilbert-space contractions
关于Hilbert空间收缩算子负幂的Esterle猜想的证明
专题命中 工具调用 ：tool use(abstract)
AI总结 本文证明了Esterle关于Hilbert空间收缩算子负幂的猜想，通过构造正序列验证了在特定条件下的算子为单位算子。
Comments 8 pages
DynCur-Geo: Dynamic Curiosity Reward Shaping for Multimodal Active Geo-Localization
DynCur-Geo：面向多模态主动地理定位的动态好奇心奖励塑造
专题命中 工具调用 ：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
面向序列约束机器人装配的反向布局搜索
机构 * 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）定位
机构 * 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成员集合
专题命中 工具调用 ：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
风车覆盖最优密度边界的计算机辅助证明
专题命中 工具调用 ：agent(abstract)
AI总结 本文通过结合已有技术与新数学见解，经计算机辅助搜索验证，确定风车覆盖调度的最优密度边界α*=1.264…，解决了相关开放问题，且该结果被独立证实。
Comments A conference version will appear in ESA 2026
Searchable Menus
可搜索菜单
专题命中 工具调用 ：agent(abstract)
AI总结 本文研究代理人视角下受可处理性约束的最优筛选机制，提出可搜索菜单要求，在多产品垄断等不同场景推导最优可搜索菜单形式，得出多维筛选中可搜索性限制可实施结果集合的结论。
Comments 83 pages, 1 figure
VisDocAgentBench: Benchmarking Agents for Visually Rich Document Retrieval
VisDocAgentBench：面向视觉丰富文档检索的智能体基准测试
专题命中 工具调用 ：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安全评估：对间接提示注入的抗性评估
专题命中 工具调用 ：agent(abstract)
AI总结 本研究用A.I.G评估DSH的间接提示注入抗性，开展多场景实验，发现不同攻击的成功率，明确需在不可信内容与敏感动作间增设控制措施。
Succinct Structure Representations for Efficient Query Optimization
紧凑的结构表示用于高效的查询优化
专题命中 工具调用 ：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：用于刻画轨迹数据集安全性的模块化工具包
机构 * 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
数据驱动的图像配准与变形建模在图像引导神经外科中的应用：系统综述
机构 * 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：将树搜索扩展到马尔可夫游戏
专题命中 工具调用 ：planning(abstract)
AI总结 同时AlphaZero通过矩阵游戏求解器扩展了AlphaZero框架，以处理多步骤双人零和马尔可夫游戏中的同时行动和不确定性。
Efficient and Accurate Surrogate-Assisted Electromagnetic Parameter Calibration for 6G Digital Twin Channels
面向6G数字孪生信道的高效高精度代理辅助电磁参数校准方法
专题命中 工具调用 ：workflow(abstract)
AI总结 针对6G数字孪生信道电磁参数校准的效率与精度瓶颈，提出SGWO-IM算法，通过代理模型预筛选与优化策略，使RT仿真调用量降62.5%、RMSE降至2.97 dB，实现效率与精度的平衡。
Controlling nonergodicity in quantum many-body systems by reinforcement learning
专题命中 工具调用 ：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方法的全局收敛性
专题命中 工具调用 ：planning(abstract)
AI总结 本文针对约束丰富的动态系统的接触隐式轨迹优化，证明了带自适应时间步长细化的线搜索SQP方法的全局收敛性，该方法可有限终止于力参数化平稳点。
Goal-oriented Tensor: Beyond Age of Information Towards Semantics-Empowered Goal-Oriented Communications
专题命中 工具调用 ：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
平面上的搜索与救援问题
专题命中 工具调用 ：agent(abstract)
AI总结 该研究针对平面搜索与救援问题，确定临界角$\theta^* \approx 15.6^\circ$，据此给出不同角度下智能体的最优检查点，推导竞争比闭式表达式，优化搜索与交付的竞争性能。
VIPER-MCP: Detecting and Exploiting Taint-Style Vulnerabilities in Model Context Protocol Servers
VIPER-MCP: 检测和利用模型上下文协议服务器中的污点式漏洞
专题命中 工具调用 ：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）粗到精配准方法
专题命中 工具调用 ：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漏洞利用：重新审视集成大语言模型的应用中的经典漏洞
专题命中 工具调用 ：agentic(abstract)
AI总结 本文研究集成大语言模型的Web应用的新型攻击LLM介导的Web攻击，提出LLM2X系列攻击类型，通过实现TicketOracle实验发现模型易感性差异，给出多层缓解策略。
Dual dynamic programming for stochastic programs over an infinite horizon
无限期随机规划的对偶动态规划
专题命中 工具调用 ：planning(abstract)
AI总结 针对无限期随机规划，本文提出CE-Inf-EDDP算法，通过整合割共享等策略提升迭代复杂度，在报童及水火电规划问题中大幅缩短迭代时间并改善解质量。
Comments Major revision updates
Thinking With Tools, Not With Pixels: Tool Calls as Text Scaffolds for Visual Reasoning
用工具思考，而非用像素思考：工具调用作为视觉推理的文本支架
机构 * 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：基于数据相似度的可扩展文档提取工具
专题命中 工具调用 ：agent(abstract)
AI总结 Scout是一款基于文档相似度的可扩展文档提取工具，通过生成优化规则集实现高性价比数据提取，在多个真实数据集上达到与前沿LLM相当的准确率，成本大幅降低且优于同类基于程序的方法。
Machine-Guided Recurrence Boundary Theory for Nahm Sums
用于纳姆和（Nahm sums）的机器引导递推边界理论
专题命中 工具调用 ：agent(abstract)
AI总结 该研究开发了机器引导的递推边界理论，结合符号搜索与Q学习发现关键结果，证明了Shi和Wang的猜想3.8，得到Zagier第十二个三阶秩示例对偶纳姆和的二阶递推与五单元证明。
Comments Comments Welcome!
Examining QRMI as a Unified Interface for Quantum-HPC Integration
将量子资源管理接口（QRMI）作为量子与高性能计算集成的统一接口进行研究
专题命中 工具调用 ：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：一种用于多模态光谱成像数据的可视分析系统
专题命中 工具调用 ：workflow(abstract)
AI总结 提出一种模态无关的可视分析系统MIA，集成光谱预处理、降维、交互分割和相似性分析等全流程，支持层次化嵌入和多模态数据联合分析，通过三个实际案例验证其有效性。
Journal ref Computers & Graphics, Vol. 139, Art. 104727, 2026
Joint Optimization of Qubit Leasing and Quantum Circuit Distribution
量子比特租赁与量子电路分布的联合优化
专题命中 工具调用 ：agent(abstract)
AI总结 针对量子网络中执行量子电路的资源租赁与分配问题，提出整数线性规划模型，证明NP完全性，并设计贪心算法求解。
Physics-Grounded Materials Artificial Intelligence for Reliable Materials Discovery
基于物理学原理的材料人工智能用于可靠的材料发现
专题命中 工具调用 ：AI agent(abstract)
AI总结 该研究提出PhysMat AI框架，整合物理知识用于材料发现，通过多领域示例说明其应用，还规划了从物理感知到自主AI的发展路线，助力可靠材料发现。
