AI Agent

Secure Control under Partial Observability with Temporal Logic Constraints

在存在时间逻辑约束下的部分可观测环境中的安全控制

Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran

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

AI总结 本文研究了在存在对手的情况下，代理在部分可观测环境中满足时间逻辑规范的控制策略合成问题，通过有限状态控制器空间中的搜索方法来确定策略，以最大化满足给定的时间逻辑规范。

Comments To appear at the American Control Conference, 2019

A Submodular Approach for Electricity Distribution Network Reconfiguration

为电力分配网络重构的子模方法

Ali Khodabakhsh, Ger Yang, Soumya Basu, Evdokia Nikolova, Michael C. Caramanis, Thanasis Lianeas, Emmanouil Pountourakis

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

AI总结 本文提出利用子模函数最小化方法解决电力分配网络重构中的损耗最小化问题，证明该问题为强NP难，并提出多项式时间局部搜索算法，理论分析其性能并验证与传统分支交换算法等效。

Comments 10 pages, 6 figures, to appear in 51st Hawaii International Conference on System Sciences (HICSS), Hawaii, USA, Jan. 3-6, 2018

Journal ref HICSS 51 (2018) 2717-2726

Spectral analysis and multigrid preconditioners for two-dimensional space-fractional diffusion equations

二维空间分数扩散方程的谱分析及多网格预处理子

Hamid Moghaderi, Mehdi Dehghan, Marco Donatelli, Mariarosa Mazza

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

AI总结 本文研究二维空间分数扩散方程的离散化问题，通过谱分析设计多网格预处理子，证明其收敛性，并验证其在Krylov方法中的有效性。

Comments 21 pages

Efficient Nearest-Neighbor Search for Dynamical Systems with Nonholonomic Constraints

动态系统非holonomic约束下的高效最近邻搜索

Valerio Varricchio, Brian Paden, Dmitry Yershov, Emilio Frazzoli

机构 * Massachusetts Institute of Technology（麻省理工学院） 纠错

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

AI总结 本文研究了非holonomic约束动态系统中最近邻搜索的复杂性，发现传统k-d树在子里曼度量下查询复杂度为Θ(N^p log N)，提出针对性改进策略提升效率。

Comments 16 pages, 3 figures, the 12th Workshop on the Algorithmic Foundations of Robotics (WAFR) 2016

An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications

基于混合整数线性规划的实时最优控制器综合方法：带有度量时序逻辑规范

Sayan Saha, A. Agung Julius

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

AI总结 本文提出一种混合整数线性规划方法，用于在动态环境中实时合成满足度量时序逻辑规范的控制器，通过优化性能指标确保系统行为正确。

Comments American Control Conference 2016 (extended version)

Control with Probabilistic Signal Temporal Logic

基于概率信号时间逻辑的控制

Chanyeol Yoo, Calin Belta

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

AI总结 本文提出概率信号时间逻辑用于连续信念空间中的复杂任务控制，设计高效合成算法以最大化任务满足概率，并通过无人机仿真验证。

Comments 7 pages, submitted to the 2016 American Control Conference (ACC 2016) on September, 30, 2015 (under review)

Modeling and Simulation of the EV Charging in a Residential Distribution Power Grid

住宅配电网中电动汽车充电的建模与仿真

Fereidoun Ahourai, Irvin Huang, Mohammad Abdullah Al Faruque

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

AI总结 本文通过GridLAB-D工具研究电动汽车高渗透率对住宅配电网的影响，提出无需升级的协调充电方法以解决变压器过载问题。

Comments Proceedings of Green Energy and Systems Conference 2013, November 25, Long Beach, CA, USA

On Generalized Bayesian Data Fusion with Complex Models in Large Scale Networks

在大规模网络中使用复杂模型的广义贝叶斯数据融合

Nisar Ahmed, Tsung-Lin Yang, Mark Campbell

机构 * 1 Sibley School of Mechanical 纠错

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

AI总结 本文提出新的广义贝叶斯分布式数据融合算法，用于处理动态网络拓扑和复杂信念模型，通过混合pdf和条件因子提升多机器人目标搜索中的融合效果。

Comments Revised version of paper submitted to 2013 Workshop on Wireless Intelligent Sensor Networks (WISeNET 2013) at Duke University, June 5, 2013

Quantum annealing for materials

量子退火在材料科学中的应用

Alfredo Fiorentino, Nicola Marzari

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

AI总结 本文提出一种基于路径积分分子动力学的量子退火实现方法，用于高效寻找势能面的全局最小值，并通过经验力场或机器学习原子间势能模拟多种原子系统，展示了其在全局优化和量子结构搜索中的性能。

A Practical Guide to Strip Caplet Volatilities

Caplet剥离过程中可能出现什么问题？

Fabien Le Floc'h

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

AI总结 本文研究从报价的cap波动率中恢复caplet波动率期限结构的问题，提出了一个实用的工作流程，包括基于时间价值单调性的输入数据筛选、异常值修正、非自举剥离方法、经典自举方法以及全局搜索方法，并分析了病理情况。

TalkPlay-Tools: Conversational Music Recommendation with LLM Tool Calling

TalkPlay-Tools: 基于大语言模型工具调用的对话式音乐推荐

Seungheon Doh, Keunwoo Choi, Juhan Nam

机构 * KAIST（韩国科学技术院） ； talkpl.ai 纠错

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

AI总结 提出一种基于LLM工具调用的统一检索-重排序流水线，通过布尔过滤、稀疏检索、稠密检索和生成式检索的组合，实现端到端的对话式音乐推荐。

Comments Accepted for publication at The Workshop on AI for Music, Neural Information Processing Systems (NeurIPS-AI4Music)

Distinguishing and integrating aleatoric and epistemic variation in uncertainty quantification

不确定性量化中偶然变异与认知变异的区分与整合

Kamaljit Chowdhary, Paul Dupuis

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

AI总结 提出利用风险敏感积分与相对熵的对偶性，结合多项式混沌展开，在已知、近似已知或非随机变量分布下量化系统不确定性，并给出方差和超越概率的显式界。

Comments 37 pages, 15 figures

Efficient scheduling using complex networks

利用复杂网络的高效调度

Osamu Yamaguchi, Soumen Roy, Raissa M. D'Souza

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

AI总结 针对钢铁制造模型中的生产调度问题，提出一种结合复杂网络统计物理与深度优先搜索的新方法，生成高效灵活的调度方案，优于实际随机调度。

Comments 4 pages, 7 figures

Computational aspects and applications of a new transform for solving the complex exponentials approximation problem

求解复指数逼近问题的新变换的计算方面与应用

Piero Barone

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

AI总结 针对复指数逼近问题，提出一种基于矩的新变换，并开发算法应用于核磁共振谱分析、时间序列插值外推及矩形状重建。

Comments 28 pages, 20 figures

Journal ref Digital Signal processing 20 (2010) 724-735

Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems

互连动力系统不确定性量化与鲁棒设计的可扩展方法

Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad Sane, Alberto Speranzon, Amit Surana

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

AI总结 针对互连动力系统中的动态不确定性，提出一种可扩展的建模、分析与设计方法，通过案例研究（如目标跟踪、轨迹规划、建筑能耗和电力网络稳定性）验证其高效量化与鲁棒设计能力。

Phase Lag Sensitivity Analysis for Numerical Integration

数值积分的相位滞后灵敏度分析

D. S. Vlachos, Z. A. Anastassi, T. E. Simos

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

AI总结 提出一种基于相位滞后函数一阶导数在拟合频率处为零的新技术，改进指数拟合数值方法在振荡问题中的性能。

Comments 10 pages, 2 figures

ToolFG: Towards Well-Grounded Fine-Grained Image Classification

ToolFG：面向良好基础的细粒度图像分类

Yu Xue, Haoxuan Qu, Zhuoling Li, Yihang Lou, Yan Bai, Hossein Rahmani, Jun Liu

机构 * Lancaster University（兰卡斯特大学） ； Peking University（北京大学） 纠错

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

AI总结 提出ToolFG框架，通过MCTS引导的工具使用知识蒸馏和模型-工具协同进化机制，使MLLM自主调用外部工具获取可靠视觉线索，实现细粒度图像分类。

Market-Based Replanning for Safety-Critical UAV Swarms in Search and Rescue Missions

基于市场重规划的搜救任务中安全关键无人机群

Luiz Giacomossi, Andrea Haglund, Claire Namatovu, Emily Zainali, Esaias Målqvist, Yonatan M. Beyene, Ivan Tomasic, Baran Çürüklü, Håkan Forsberg

机构 * KTH Royal Institute of Technology（皇家理工学院） ； Swedish Defence Research Agency（瑞典国防研究机构） ； KTH Royal Institute technological Institute（皇家理工学院） 纠错

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

AI总结 提出一种分布式协调架构IRDS，通过反向拍卖市场机制和几何共识协议，在无人机故障下自主重分配任务，在25%退化下保持93%任务成功率。

Comments 6 pages, 4 figures, accepted at MIPRO 2026

EMA: Approximate Nearest Neighbor Search with General Attribute Filtering and Dynamic Updates

EMA：支持通用属性过滤和动态更新的近似最近邻搜索

Mocheng Li, Baotong Lu, James Cheng, Chenhao Ma

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

AI总结 提出EMA算法，通过引入附着在图边上的紧凑摘要Marker，实现支持混合数值和类别属性多谓词查询的过滤近似最近邻搜索，并支持高效动态更新，在多种工作负载下速度提升1.68至12.25倍。

Comments 13 pages, 10 figures, Submitted to PVLDB Research Track

Bidirectional Incremental Generalized Hybrid A*

双向增量广义混合A*

Sidharth Talia, Oren Salzman, Siddhartha Srinivasa

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

AI总结 针对复杂动力学系统在非结构化环境中的高效任意时刻运动规划问题，提出双向增量广义混合A*算法，通过双向搜索缓解冻结顶点隐藏解的问题，保证单调成本改进和终止，显著减少扩展次数。

HunterAgent: Neuro-Symbolic Attack Trace Reconstruction under Anti-Forensics

HunterAgent: 反取证下的神经符号攻击痕迹重建

Guangze Zhao, Yongzheng Zhang, Weilin Gai, Hongri Liu, Yuliang Wei, Bailing Wang

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

AI总结 针对反取证技术导致的攻击痕迹断裂问题，提出神经符号框架HunterAgent，将痕迹重建建模为部分可观测下的代价约束启发式图搜索，通过生成器-验证器流水线和校准代价函数实现高精度重建。

Two Equivalence Results between Unemployment Insurance and Wage Insurance

失业保险与工资保险之间的两个等价结果

Anchi Xia

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

AI总结 在风险中性的McCall模型中，证明事前意义上工资保险与失业保险的组合等价于依赖于上次就业工资的失业保险与依赖于当前就业工资的税收的组合，且工资保险仅在最后工资超过阈值时有效。

Aligning Provenance with Authorization: A Dual-Graph Defense for LLM Agents

对齐来源与授权：面向LLM智能体的双图防御

Peiran Wang, Ying Li, Yuan Tian

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

AI总结 提出AuthGraph双图对齐防御框架，通过构建注入推理图与授权图的结构化比较，检测工具调用和参数来源级别的偏差，在AgentDojo上将攻击成功率从40%降至1%并保持76%任务完成率。

A two-stage stochastic programming framework for oil and gas exploration well portfolio optimization under geological and economic uncertainty

地质与经济不确定性下油气勘探井组合优化的两阶段随机规划框架

Junyi Cui

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

AI总结 提出后验信息的两阶段随机多目标优化框架，通过第一阶段组合选择与第二阶段情景依赖补救决策，最大化期望净现值并最小化条件风险价值，同时满足成功率与储量可靠性约束。

Competition, Persuasion, and Search

竞争、说服与搜索

Teddy Mekonnen, Bobak Pakzad-Hurson

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

AI总结 研究信息市场竞争如何影响剩余创造与分配，通过构建代理人序贯搜索高质量商品并重复购买信息经纪人信号的模型，发现低搜索成本时市场结构不影响剩余，高搜索成本时竞争有利于代理人但降低总剩余。

Separable Force Matching of PBE0 Hybrid-Functional Reference Forces for Path-Integral Simulations of Liquid Water

用于液态水路径积分模拟的PBE0杂化泛函参考力的可分离力匹配

Jan Kessler, Thomas Spura, Kristof Karhan, Thomas D. Kühne

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

AI总结 提出一种可分离非线性最小二乘力匹配方法，基于PBE0杂化泛函参考力拟合柔性四点位水模型，提高了准确性和可重复性，并成功应用于液态水的路径积分模拟。

A Multiobjective Optimization Framework for Irrigation Water Allocation

灌溉水资源分配的多目标优化框架

Nahid Sultana, M. M. Rizvi, G. M. Wali Ullah, Micah Nehring

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

AI总结 本研究通过扩展可行决策空间并系统刻画经济-环境权衡谱，提出一个多目标优化框架，生成高分辨率帕累托前沿，以平衡灌溉规划中的经济效益与环境流量需求。

Comments 25 pages, 1 figure

Anisotropic Diffusion-Driven Ergodic Coverage in Multi-Robot Systems

多机器人系统中各向异性扩散驱动的遍历覆盖

Thales C. Silva, Anoop Kiran, Nora Ayanian

机构 * Department of Computer Science（计算机科学系） ； Brown University（布朗大学） 纠错

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

AI总结 提出一种基于Perona-Malik各向异性扩散的遍历搜索方法，通过非均匀误差传播生成势场，引导多机器人系统实现更灵活的遍历覆盖。

DepthAgent: Towards Better Universal Depth Estimation via Sample-wise Expert Selection

DepthAgent: 通过样本级专家选择实现更好的通用深度估计

Jie Zhu, Girish Chandar Ganesan, Xiaoming Liu

机构 * Michigan State University（密歇根州立大学） ； University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校） 纠错

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

AI总结 提出DepthAgent，一种视觉语言智能体，通过多轮工具调用和强化学习微调，自适应地为不同相机设置（透视、鱼眼、全景）选择或融合多个深度估计专家模型，显著提升通用深度估计性能。

LongVT: Incentivizing "Thinking with Long Videos" via Native Tool Calling

LongVT: 通过原生工具调用激励'通过长视频思考'

Zuhao Yang, Sudong Wang, Kaichen Zhang, Keming Wu, Sicong Leng, Yifan Zhang, Bo Li, Chengwei Qin, Shijian Lu, Xingxuan Li, Lidong Bing

机构 * MiroMind ； NTU（国立台湾大学） ； HKUST(GZ)（香港科技大学（广州）） ； THU（清华大学） ； LMMs-Lab（LMMs实验室） 纠错

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

AI总结 本文提出LongVT，一种端到端的代理框架，通过交错的多模态工具链式思考实现'通过长视频思考'，通过利用LMM的固有时间定位能力作为原生视频裁剪工具，以解决长视频推理中的幻觉问题，并通过VideoSIAH数据集提升训练和评估效果。

Comments CVPR 2026