AI Agent

Evaluating the Exp-Minus-Log Sheffer Operator for Battery Characterization

评估电池表征的Exp-Minus-Log谢夫尔算子

Eymen Ipek

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

AI总结 研究Exp-Minus-Log算子在六分支RC等效电路模型的正向模拟和参数识别中的应用，发现其在参数化方面表现优异，但直接模拟效率较低，建议仅在参数化阶段使用。

Comments This paper has been withdrawn by the authors due to the discovery of a fundamental limitation in EML method

Assessing VLM-Driven Semantic-Affordance Inference for Non-Humanoid Robot Morphologies

评估基于视觉语言模型的非人形机器人语义可及性推理

Jess Jones, Raul Santos-Rodriguez, Sabine Hauert

机构 * Bristol Robotics Laboratory, University of Bristol（布里斯托尔机器人实验室，布里斯托尔大学） ； University of Bristol（布里斯托尔大学） 纠错

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

AI总结 本文研究了视觉语言模型在非人形机器人上的语义可及性推理能力，通过混合数据集分析发现模型在不同物体和机器人形态上表现不一，存在保守预测倾向，需结合其他方法以提高性能。

Comments AAMAS 2026 (main track), 9 pages, 4 figures

The Rise of Quantum Computing -- Take a BITE for Built Environment and Urban Microclimate Research

量子计算的兴起——为建筑环境和城市微气候研究提供一份额外的见解

Liangzhu Leon Wang, Huiheng Liu, Honghao Fu, Zhipeng Deng, Bing Dong, Naiping Gao

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

AI总结 本文探讨量子计算在建筑环境和城市微气候研究中的应用潜力，提出'BITE'原则指导量子加速问题的选择，旨在提升城市可持续性和能源效率。

Comments 16 pages, 3 figures

Journal ref Build. Simul. (2026) 1-12

LEDDS: Portable LBM-DEM simulations on GPUs

LEDDS: 在GPU上进行便携式LBM-DEM模拟

Raphael Maggio-Aprile, Maxime Rambosson, Christophe Coreixas, Jonas Latt

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

AI总结 本文提出LEDDS框架，通过算法原语实现LBM-DEM模拟，展现高抽象层次下的高性能与可移植性，验证了其在颗粒流和流-粒子相互作用中的有效性。

A Hamilton-Jacobi Reachability-Guided Search Framework for Efficient and Safe Indoor Planar Robot Navigation

一种基于哈密顿-雅可比可达性的搜索框架用于高效安全的室内平面机器人导航

Hanyang Hu, Cameron Siu, Mo Chen

机构 * Simon Fraser University（西蒙弗雷泽大学） 纠错

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

AI总结 本文提出结合离线哈密顿-雅可比可达性与在线图搜索的方法，提升室内机器人导航的效率和安全性，通过预计算的HJ值函数作为启发式和安全约束，减少计算开销。

The Inference Bottleneck: A Formal Model of Vertical Foreclosure in AI Markets

推理瓶颈：人工智能市场中垂直垄断的正式模型

Gaston Besanson

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

AI总结 本文提出一个正式博弈论模型，分析人工智能市场中的垂直垄断问题，探讨服务质量歧视和路由偏见等机制，并提出中性推理政策框架以减少垄断风险。

Comments Working Paper

Contextualizing Sink Knowledge for Java Vulnerability Discovery

在Java漏洞发现中 contextualizing sink knowledge

Fabian Fleischer, Cen Zhang, Joonun Jang, Jeongin Cho, Meng Xu, Taesoo Kim

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

AI总结 GONDAR框架通过利用sink API语义进行针对性漏洞发现，通过CWE扫描和LLM静态过滤识别可利用的sink调用点，并通过探索和利用代理协作发现更多漏洞。

CrossTraffic: An Open-Source Framework for Reproducible and Executable Transportation Analysis and Knowledge Management

CrossTraffic: 一个用于可重复和可执行交通分析与知识管理的开源框架

Rei Tamaru, Bin Ran

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

AI总结 本文提出CrossTraffic开源框架，通过标准化接口实现交通方法的可部署和可验证软件基础设施，结合知识图谱和对话接口提升分析精度与协作能力。

OPF-Based Optimal Power System Network Restoration Considering Frequency Dynamics

基于OPF的考虑频率动态的最优电力系统网络恢复

Dawn Virginillo, Asja Derviškadić, Mario Paolone

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

AI总结 本文提出并解决包含频率动态的最优电力系统恢复问题，通过静态和动态方法验证了切换约束的重要性，展示了动态考虑在恢复规划中的关键作用。

Differentiable Object Pose Connectivity Metrics for Regrasp Sequence Optimization

可微的物体姿态连通性度量用于重新抓取序列优化

Liang Qin, Weiwei Wan, Kensuke Harada

机构 * Graduate School of Engineering Science, The University of Osaka（大阪大学工学研究科） 纠错

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

AI总结 本文提出基于可微姿态序列连通性度量的隐式多步重新抓取规划框架，通过能量模型构建连续能量景观，提升抓取可行性规划的鲁棒性，并展示其在未见抓取姿态和跨末端效应转移中的泛化能力。

Reverse-Robust Computation with Chemical Reaction Networks

化学反应网络中的反稳健计算

Ravi Kini, David Doty

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

AI总结 本文研究了在允许正反向反应但存在截止点的反稳健计算模型下，化学反应网络的计算能力，证明所有半线性谓词和函数均可被反稳健计算，并保留现有构造。

oxo-call: Documentation-grounded Skill Augmentation for Accurate Bioinformatics Command-line Generation with Large Language Models

oxo-call：基于文档的技能增强用于准确的生物信息学命令行生成与大型语言模型

Yun Peng, Yujun Sun, Jia Ding, Bin Yan, Zhangyu Wang, Chunyang Wang, Chenyang Shu, Jian-Guo Zhou, Shixiang Wang

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

AI总结 oxo-call通过文档优先 grounding 和精选技能增强策略，提升生物信息学命令行生成的准确性，提供150+内置技能和可扩展的流程引擎。

Comments 19 pages, 4 figures

A MIDAS-based Data Acquisition System for Gaseous Detectors

基于MIDAS的数据采集系统用于气体探测器

Yuanchun Liu, Tao Li, Yu Chen, Ke Han, Leyan Li, Shaobo Wang, Wei Wang

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

AI总结 本文提出基于MIDAS框架的气体探测器数据采集系统，实现参数配置、数据采集、解码存储等功能，并支持Web操作与实时监控，已在PandaX-III实验中验证其性能与稳定性。

Mono- and Polyauxic Growth Kinetics: A Semi-Mechanistic Framework for Complex Biological Dynamics

单相和多相生长动力学：复杂生物动态的半机制框架

Gustavo Mockaitis

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

AI总结 本文提出一种半机制框架，整合非线性回归方法，通过差分进化和L-BFGS-B优化策略，结合Charbonnier损失函数和鲁棒回归，解决高维参数空间中的参数识别问题，验证了该框架在厌氧消化实验数据中的有效性。

Comments Research paper, 42 pages, 9 figures, 4 tables, 42 equations

Vision-Based End-to-End Learning for UAV Traversal of Irregular Gaps via Differentiable Simulation

基于视觉的端到端学习：通过可微模拟实现无人机穿越不规则缝隙

Linzuo Zhang, Yu Hu, Feng Yu, Yang Deng, Wenxian Yu, Danping Zou

机构 * Shanghai Jiao Tong University（上海交通大学） 纠错

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

AI总结 本文提出一种纯视觉端到端框架，通过可微模拟实现无人机在未知环境中穿越复杂不规则缝隙，采用SE(3)空间、停止梯度操作和双模初始化分布提升稳定性，结合辅助预测模块增强导航连续性和安全性。

A Nested Amplitude Amplification Protocol for the Binary Knapsack Problem

二进制背包问题的嵌套振幅放大协议

Laurin Demmler, Maximilian Hess

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

AI总结 本文提出一种嵌套振幅放大协议，用于解决二进制背包问题，通过分层放大和全局GAS结合，降低改进当前最优解的成本，尤其在特定实例中效果显著。

Comments This work has been submitted to the IEEE for possible publication

The Complete Intersection Discrepancy of a Curve I: Numerical Invariants

曲线的完全交差异数I：数值不变量

Andrei Benguş-Lasnier, Antoni Rangachev

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

AI总结 本文通过引入曲线的完全交差异数修正项，推广了两个经典公式，用于研究曲线的等奇异性和亏格-次数公式。

Comments With an appendix by Marc Chardin. The revised version includes a genus--degree formula for almost complete intersection curves (Corollary C), together with minor improvements to the exposition

A Reduction-Driven Local Search for the Generalized Independent Set Problem

一种针对广义独立集问题的减缩驱动局部搜索

Yiping Liu, Yi Zhou, Zhenxiang Xu, Mingyu Xiao, Jin-Kao Hao

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

AI总结 本文提出一种减缩驱动局部搜索算法，通过14条减缩规则提升求解广义独立集问题的效率，有效处理大规模网络。

Policy heterogeneity improves collective olfactory search in 3-D turbulence

策略异质性提高三维湍流中的集体嗅觉搜索

Lorenzo Piro, Robin A. Heinonen, Maurizio Carbone, Luca Biferale, Massimo Cencini

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

AI总结 研究探讨了策略异质性如何提升协作群体在复杂湍流环境中的嗅觉搜索能力，发现异质群体比同质群体更高效地定位气味源。

Discrete Poincare and Bogovskii operators on cochains and Whitney forms

离散的庞加莱和博戈维斯基算子在余链和惠特尼形式上

Johnny Guzmán, Anil N. Hirani, Bingyan Liu, Pratyush Potu

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

AI总结 本文构造了作用于余链和惠特尼形式的离散庞加莱算子，并探讨了其在不同域假设下的构造方法，同时提出了满足同伦恒等式的离散博戈维斯基算子。

The Pandora's Box Problem with Sequential Inspections

潘多拉之盒问题与序列检查

Ali Aouad, Jingwei Ji, Yaron Shaposhnik

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

AI总结 研究潘多拉之盒问题的扩展形式，探讨信息获取与成本效率的权衡，分析最优策略结构并提出近优解，通过数值研究比较不同策略性能。

Solving Problems of Unknown Difficulty

解决未知难度的问题

Nicholas Wu

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

AI总结 本文研究了问题难度不确定性如何影响问题解决策略，提出动态模型分析探索与利用的平衡，探讨主代理环境中的道德风险与学习作用，揭示创新与组织设计的洞察。

Scheduling with Time Dependent Utilities: Fairness and Efficiency

具有时间依赖效用的调度：公平与效率

Gaia Nicosia, Andrea Pacifici, Ulrich Pferschy

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

AI总结 本文研究了具有时间依赖效用的多智能体单机调度问题，通过最大化最小效用来实现公平，探讨了复杂性及多种变种的求解方法，包括二分查找和贪心算法，并分析了不同约束下的调度效率优化。

When Agents are Powerful: Black Hole Search with Verification in Time-Varying Graphs

当代理变得强大：在时间变化图中进行黑洞搜索与验证

Tanvir Kaur, Ashish Saxena

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

AI总结 研究在时间变化图中通过增强代理能力，提高黑洞搜索效率。

Autonomous epitaxial atomic-layer synthesis via real-time computer vision of electron diffraction

通过实时电子衍射计算机视觉实现自主自组装原子层合成

Haotong Liang, Yunlong Sun, Ryan Paxson, Chih-Yu Lee, Alex T. Hall, Zoey Warecki, John Cumings, Hideomi Koinuma, Aaron Gilad Kusne, Mikk Lippmaa, Ichiro Takeuchi

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

AI总结 本文通过实时计算机视觉实现电子衍射的多维合成参数空间自主导航，显著减少实验次数，用于制备稳定的非稳态功能氧化物相的单相 epitaxial 薄膜。

Comments 30 pages, 10 figures

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks

UMBRELLA：基于动态时间逻辑任务的不确定性感知多机器人反应协调

Qisheng Zhao, Meng Guo, Hengxuan Du, Lars Lindemann, Zhongkui Li

机构 * School of Advanced Manufacturing and Robotics, Peking University（北京大学先进制造与机器人学院） ； Automatic Control Laboratory, ETH Zürich（苏黎世联邦理工学院自动控制实验室） 纠错

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

AI总结 本文提出UMBRELLA框架，结合MCTS与不确定性感知路径规划，通过置信度预测降低任务完成时间和方差，适用于动态移动目标的多机器人协作任务。

Fine-tuning universal machine learning potentials for transition state search in surface catalysis

在表面催化中利用通用机器学习势进行过渡态搜索的微调

Raffaele Cheula, Mie Andersen, John R. Kitchin

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

AI总结 本文提出基于主动学习的工作流，通过迭代微调通用机器学习势（uMLPs）以实现DFT级别的过渡态搜索，展示了在金属和单原子合金表面CO2氢化反应网络中，通过8次DFT单点计算即可获得高质量过渡态结构。

Adaptive Gaussian Process Search for Simulation-Based Sample Size Estimation in Clinical Prediction Models: Validation of the pmsims R Package

自适应高斯过程搜索在基于模拟的临床预测模型样本量估计中的应用：pmsims R包的验证

Oyebayo Ridwan Olaniran, Diana Shamsutdinova, Sarah Markham, Felix Zimmer, Daniel Stahl, Gordon Forbes, Ewan Carr

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

AI总结 本文验证了pmsims R包，利用高斯过程代理建模提供灵活高效的样本量确定框架，适用于多种预测场景，通过模拟研究比较了三种搜索方法的性能，展示了其在低信号高维设置中的稳定性及优于传统方法的表现。

Comments 27 pages, 2 main-text figures, 16 supplementary figures, 9 tables, preprint

End-to-End Quantum Algorithm for Topology Optimization in Structural Mechanics

端到端量子算法用于结构力学中的拓扑优化

Leonhard Hölscher, Oliver Ahrend, Lukas Karch, Carlotta L'Estocq, Marc Marfany Andreu, Tobias Stollenwerk, Frank K. Wilhelm, Julia Kowalski

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

AI总结 本文提出一种端到端的容错量子算法，用于解决结构力学中的拓扑优化问题，通过将设计空间表示为指数希尔伯特空间，并利用Grover算法解决组合满足问题，实现对指数级结构的高效评估。

Journal ref Quantum Sci. Technol. 11 (2026) 025029

UniDex: A Robot Foundation Suite for Universal Dexterous Hand Control from Egocentric Human Videos

UniDex：一种机器人基础套件，用于从第一人称人类视频中实现通用灵巧手控制

Gu Zhang, Qicheng Xu, Haozhe Zhang, Jianhan Ma, Long He, Yiming Bao, Zeyu Ping, Zhecheng Yuan, Chenhao Lu, Chengbo Yuan, Tianhai Liang, Xiaoyu Tian, Maanping Shao, Feihong Zhang, Mingyu Ding, Yang Gao, Hao Zhao, Hang Zhao, Huazhe Xu

机构 * Tsinghua University（清华大学） ； Shanghai Qizhi Institute（上海启智研究院） ； Sun Yat-sen University（中山大学） ； The University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校） 纠错

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

AI总结 本文提出UniDex，通过机器人中心数据集、统一视觉-语言-动作策略和实用人类数据采集设置，实现通用灵巧手控制。UniDex-VLA在两项不同手的挑战性工具使用任务中达到81%的平均任务进度，优于现有VLA基线。

Comments Accepted by CVPR 2026