AI Agent

Predicting Grasping Compliance in Robotic Hands through Analytical-Model-Informed Neural Networks

通过分析模型驱动的神经网络预测机器人手的抓握顺应性

Qianwen Zhao, Long Wang

机构 * Stevens Institute of Technology（史蒂文斯理工学院） 纠错

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

AI总结 研究旨在开发强力交互时抓握工具行为的预测模型，引入分析模型驱动神经网络（AMINN），结合分析力学层与数据驱动学习，在三指欠驱动机器人手上评估，有强预测能力且实现更好物理一致性，推动了物理可解释学习。

Comments Preprint. 9 pages, 8 figures, 1 table

XMatcher: An Open-Source Framework for X-Ray Diffraction Phase Identification

XMatcher：用于X射线衍射相识别的开源框架

Bin Cao

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

AI总结 介绍开源框架XMatcher，用于X射线衍射相识别。它集成多种功能于便携工作流程，能生成理论库、检索候选相、校正匹配并报告指标证据，其AutoMix模块可处理多相模式，通过图形界面提供可解释且可重现的相识别平台。

Do Generative AI Assistants Respect robots.txt? Tracing Web Access Beyond Visible Answers

生成式人工智能助手是否遵守robots.txt？追踪可见答案之外的网络访问

Gabriel Lopez-Fonseca, David Rodriguez, Stefan Bechtold, Jose M. Del Alamo

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

AI总结 研究探讨生成式AI助手是否遵守robots.txt，对十个有网络搜索功能的AI助手进行实证研究，通过特定配置和条件评估其对http URL规则的遵守情况，发现不同助手差异大，结果引发相关法律治理问题及对更新标准的需求。

Dynamical Vehicle Orienteering Problem for Multi-Rotor Unmanned Aerial Vehicles

多旋翼无人机的动态车辆定向问题

František Nekovář, Matej Novosad, Martin Saska, Robert Pěnička

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

AI总结 研究多旋翼无人机的动态车辆定向问题，提出结合非线性规划与混合整数线性规划的分支定界程序和大邻域搜索元启发式算法两种解决方案，实验表明改进显著，实际部署验证了所提质点模型解决方案轨迹。

Comments 28 pages, 10 figures, preprint submitted to European Journal of Operational Research

Intuitionistic Dynamic Logic

直觉主义动态逻辑

Lukas Zenger

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

AI总结 研究直觉主义动态逻辑的数学理论，涵盖五种该逻辑。通过开发证明论工具、进行语义研究，建立相关性质与界限。主要贡献为开发演算、获有限模型性质及可判定性、给出直觉主义线性时态逻辑完备公理系统。

Comments PhD Thesis

Measuring the Re-executability of Published Molecular Docking Claims

测量已发表分子对接声明的可重新执行性

Vincent Giap, Eric Wang, Cris Nguyen

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

AI总结 研究探讨已发表分子对接声明的可重新执行性，引入MERS-Dock及可执行性阶梯，通过对236篇相关论文审核发现可执行性低，验证审核并分析结果，表明再现差距是几何效应，将E类作可执行性门，发布测量层助数字系统核查计算声明。

Comments 19 pages, 6 figures. Data, code, and the MERS-Dock reporting standard: https://github.com/giapha/mpro-dockexec

Towards Human-level Dexterous Teleoperation

迈向人类水平的灵巧遥操作

Puhao Li, Zeyuan Chen, Yingying Wu, Pengkun Wei, Yuyang Li, Tianyu Wang, Jiaxiao Shi, Mingrui Yu, Baoxiong Jia, Song-chun Zhu, Tengyu Liu, Siyuan Huang

机构 * Tsinghua University（清华大学） ； State Key Lab of General Artificial Intelligence, BIGAI（通用人工智能国家重点实验室，字节跳动公司） ； Peking University（北京大学） 纠错

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

AI总结 研究如何通过遥操作赋予机器人手内灵巧性，提出TeleDexter手 - 物体协同跟踪控制器，利用混合奖励训练，经单阶段强化学习及随机化处理可零样本迁移到真实机器人，在多项任务上取得高成功率并能训练自主策略。

Comments Project Website: https://bigai-dex.github.io/blog/teledexter/

SLIDER: Sparse History-Guided Aerial Robot Target Search using Sliding Local Maps

SLIDER：使用滑动局部地图的稀疏历史引导空中机器人目标搜索

Xiaolei Hou, Zheng Pan, Hua Lan, Zhenghao Zou, Yinhong Chen, Chenxi Zhu, Yang Lyu, Jinwen Hu, Chunhui Zhao

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

AI总结 针对空中机器人在大规模未知环境中目标搜索难题，提出SLIDER框架，结合局部滑动地图与稀疏全局历史信息，通过新评估方法、聚类策略及维护拓扑地图实现高效搜索，性能优于现有方法。

Comments Accepted by IEEE Robotics and Automation Letters (RA-L), 2026. https://github.com/Poaos/SLIDER

Autonomous Transition State Search with Soft Actor-Critic Reinforcement Learning

基于软演员-评论家强化学习的自主过渡态搜索

Utham Suresh, Konstantinos D. Vogiatzis

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

AI总结 研究针对过渡态搜索计算量大且依赖初始猜测等问题，基于软演员-评论家模型，将搜索设为内部坐标的序列决策过程，通过奖励函数自适应更新结构，成功识别标准反应过渡态几何结构，展现强化学习在反应发现中的潜力。

Every Sample Counts: Supervised Fine-Tuning of Language Models with Pointwise Constraints

每个样本都很重要：基于逐点约束的语言模型监督微调

Ignacio Hounie, Ignacio Boero, Alejandro Ribeiro

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

AI总结 研究语言模型微调中逐点约束问题，提出新对齐框架，通过逐样本约束最小化平均损失，引入学习松弛方法并开发增广拉格朗日方法，在多任务和约束下实例化，减少约束违反且保留模型性能。

weightflow: declarative, recipe-aware survey weighting in R

Weightflow：R 中声明式、可感知配方的调查加权

Juan Pablo Ferreira

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

AI总结 研究为复杂调查生成权重的方法，提出 Weightflow 包，通过声明式 API 构建权重，将定义与应用分离，可重现可审计，能传播各阶段不确定性，实现多种校准及调整，经验证在实际数据中能恢复已知贫困率。

Comments 13 pages, 7 figures. Software on CRAN: https://CRAN.R-project.org/package=weightflow ; docs: https://jpferreira33.github.io/weightflow/

Mini-Programs, Mega-Problems: Unveiling OAuth-based Authentication Misuses in Mini-Programs via Dynamic Analysis

小程序、大问题：通过动态分析揭示小程序中基于 OAuth 的认证滥用情况

Zidong Zhang, Zhentao Xie, Lingyun Ying, Qinsheng Hou, Yacong Gu, Wenrui Diao, Jianliang Wu

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

AI总结 研究通过动态分析揭示小程序中基于 OAuth 的认证滥用问题，设计 MINIAUTH 框架，对大量微信和百度小程序进行分析，发现多种滥用案例及百度 API 加密缺陷，强调加强开发者指导与平台保护的必要性。

Comments Accepted by ACM CCS 2026

Finding Simple Proofs for First-Order Optimization

寻找一阶优化的简单证明

Daniel Berg Thomsen, Manu Upadhyaya, Baptiste Goujaud, Aymeric Dieuleveut, Adrien Taylor

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

AI总结 该研究针对一阶优化，将寻找简单证明结构设为第二阶段优化问题，从对偶证书出发，运用稀疏优化等工具开发后处理程序，通过特定特征衡量复杂度并引入多种方法，能简化证明结构，降低后续人工处理复杂度。

Blind Line Search System: BLiSS

盲线搜索系统：BLiSS

Luis Abalo, Graciela Sanjurjo-Ferrín, Jessica Planelles-Villalva, José Joaquín Rodes-Roca, José Miguel Torrejón

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

AI总结 针对X射线天文台揭示更多微弱和混合发射线，现有分析方法难对大型数据集均匀分析的问题，提出开源Python包BLiSS，可快速盲检测和表征发射线候选者，无需先验模型，经实例验证性能良好，提供了相关工作流程。

VaseMuseum: Digital Intelligent Museum for Ancient Greek Pottery

花瓶博物馆：古希腊陶器数字智能博物馆

Jiazi Wang, Nonghai Zhang, Qiushi Xie, Zeyu Zhang, Yufeng Chen, Yang Zhao, Ling Shao, Hao Tang

机构 * School of Computer Science and Technology, Beijing Jiaotong University（北京交通大学计算机科学与技术学院） ； School of Computer Science, Peking University（北京大学计算机科学学院） ； Huazhong University of Science and Technology（华中科技大学） ； Department of Computer Science and Information Technology, La Trobe University（拉筹伯大学计算机科学与信息技术系） ； UCAS-Terminus AI Lab, University of Chinese Academy of Sciences（中国科学院大学UCAS-Terminus人工智能实验室） 纠错

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

AI总结 针对古希腊陶器文化遗产领域中视觉语言模型面临的挑战，提出轻量级模块化多模态智能体框架花瓶博物馆，结合虚拟博物馆与花瓶智能体，经多模态感知等操作，提高引用有效性，减少幻觉并产生更中立答案。

Comments Code: https://github.com/AIGeeksGroup/VaseMuseum. Website: https://aigeeksgroup.github.io/VaseMuseum

Probe-EM: Targeted Neuron Tracing via Training-Free Semantic Verification

Probe-EM：通过无训练语义验证进行靶向神经元追踪

Liuyun Jiang, Yanchao Zhang, Jinyue Guo, Chuanyue Chen, Haiyang Yan, Ye Yuan, Jing Liu, Hua Han

机构 * State Key Laboratory of Brain Cognition and Brain-inspired Intelligence Technology, Institute of Automation, Chinese Academy of Sciences（中国科学院自动化所脑认知与脑机智能技术重点实验室） ； School of Future Technology, University of Chinese Academy of Sciences（中国科学院大学未来技术学院） ； School of Artificial Intelligence, University of Chinese Academy of Sciences（中国科学院大学人工智能学院） ； School of Advanced Interdisciplinary Sciences, University of Chinese Academy of Sciences（中国科学院大学高等研究院） 纠错

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

AI总结 为解决自动重建算法过分割瓶颈及传统追踪方法问题，提出无训练靶向神经元追踪框架，利用几何先验和新策略迭代重建神经元形态，集成到平台减少人工校对时间。

Comments Accepted at MICCAI 2026

Nested-Loop Trajectory-Informed Variational Quantum Solver for Interior-Point OPF

用于内点最优潮流的嵌套循环轨迹引导变分量子求解器

Farshad Amani, Amin Kargarian

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

AI总结 针对内点法求解最优潮流时，变分量子线性求解器嵌套循环致收敛慢的问题，提出双层可训练量子内点法框架，利用早期轨迹优化，减少变分更新次数，保持目标值接近经典方法。

Comments 10 pages

Pre-Strings Lectures on Artificial Intelligence

关于人工智能的弦论前讲座

James Halverson

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

AI总结 该讲座围绕神经网络要素、神经网络场论方法及弦论应用AI展开，通过场论视角阐述神经网络，介绍相关成果，如通用定理、弦振幅等，还涉及弦论应用AI的多种技术。

Comments 42 pages. Content from 2408.00082 was utilized for some lecture material

Fast Volume Alignment by Frequency-Marched Newton Method

通过频率匹配牛顿法实现快速体积对齐

Fabian Kruse, Valentin Debarnot, Vinith Kishore, Ivan Dokmanić

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

AI总结 本文提出一种快速准确的3D对齐方法，通过将姿态估计视为连续优化问题，利用带限Wigner-D展开和分析控制三角多项式景观复杂度，实现高效二次优化，提升对齐精度并减少计算时间。

Substrate-Agnostic 3x: Biosignatures, Technosignatures, Ecologies

底物无关的3x：生物印记、技术印记、生态学

Lukáš Likavčan

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

AI总结 本文提出底物无关生态学概念，整合生物印记与技术印记研究，基于生态位构建理论建立统一视角。

Comments 5 pages

AMBUSH: Collaborative Capture in Complex Environments with Neural Acceleration

AMBUSH：复杂环境下的协作捕获与神经加速

Junfeng Chen, YinHang Luo, Xinyi Wang, Junrui Li, Meng Guo

机构 * School of Advanced Manufacturing and Robotics, Peking University（北京大学先进制造与机器人学院） ； Distributed Autonomous Systems and Control Lab, University of Michigan（密歇根大学分布式自主系统与控制实验室） 纠错

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

AI总结 提出基于“伏击”策略的参数化方法，结合混合蒙特卡洛树搜索与神经加速，实现多个慢速追捕者在复杂环境中高效捕获快速逃逸者。

Beyond Her: Safety Dynamics in Role-play AI Companions

超越《她》：角色扮演AI伴侣中的安全动态

Zehang Deng, Zhaoyang Xie, Changzhou Han, Hiran Thabrew, Wanlun Ma, Yue Huang, Jason, Xue, Sheng Wen, Tianqing Zhu, Yang Xiang

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

AI总结 通过混合方法研究，揭示角色扮演AI伴侣使用中用户内化问题、AI角色人格和风险互动模式共同塑造安全动态，并发现短期情绪缓解与长期恶化并存的趋势，提出自适应安全防护设计。

Comments Under review

NanoVer: An open-source framework for interactive molecular dynamics in extended reality (iMD-XR) on commodity hardware

NanoVer: 一个用于在消费级硬件上进行扩展现实交互式分子动力学（iMD-XR）的开源框架

Mark D. Wonnacott, Luis Ernesto Toledo Castro, Harry J. Stroud, Ludovica Aisa, Mohamed Dhouioui, Rhoslyn Roebuck Williams, Denis Protopopov, Sila Sobrado, David R. Glowacki

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

AI总结 本文介绍NanoVer，一个开源框架，允许多人共处同一虚拟空间，以原子级精度实时操控柔性3D分子结构的分子动力学模拟，支持消费级独立XR硬件，并实现多客户端通信与多种任务。

Adaptive fine-tuning of foundation models for crystal structure prediction: Discovery of high-pressure phases in the CaFeNi system

基础模型的自适应微调用于晶体结构预测：CaFeNi体系中高压相的发现

N. M. Chtchelkatchev, M. V. Magnitskaya, R. E. Ryltsev

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

AI总结 提出一种结合进化搜索与自适应数据选择及微调的自洽基础模型辅助晶体结构预测工作流，通过迭代选择代表性结构进行DFT标记，高效探索Ca-Fe-Ni三元体系，预测了高压下稳定的新化合物Ca6FeNi。

Comments 10 pages, 13 figures

AUSLUN: A Fixed-Hover UAV--USV System for GNSS-Denied Maritime Search and Navigation

AUSLUN: 一种用于GNSS拒止环境下海上搜索与导航的固定悬停无人机-无人艇系统

Siyuan Yang, Zikai Jia, Hailiang Kuang, Xiaoyu He, Qizhi Guo, Yihao Dong, Shaoming He

机构 * School of Aerospace Engineering, Beijing Institute of Technology（北京理工大学航空航天工程学院） ； Khalifa University Center for Autonomous Robotic Systems (KUCARS), Khalifa University（哈利法大学自主机器人系统中心（KUCARS）） 纠错

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

AI总结 提出AUSLUN系统，利用固定悬停无人机通过视觉惯性里程计和变焦吊舱扫描，结合门控递归估计器实现非合作目标定位与无人艇导航，在GNSS拒止环境下验证了搜索-导航完整流程。

Comments 10 pages, 7 figures

Optimization of path-integral tensor-multiplication schemes in open quantum systems

开放量子系统中路径积分张量乘法方案的优化

L. M. J. Hall, A. Gisdakis, E. A. Muljarov

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

AI总结 针对开放量子系统中路径积分张量乘法方案因张量大小随量子记忆长度指数增长而受限的问题，提出基于矩阵表示和奇异值分解的优化方法，显著降低计算时间和内存使用，并实现精确值的快速外推。

Comments 18 pages, 16 figures

Monte Carlo Tree Search with Tensor Factorization for Optimization Problems in Robotics

基于张量分解的蒙特卡洛树搜索用于机器人优化问题

Teng Xue, Yan Zhang, Amirreza Razmjoo, Sylvain Calinon

机构 * Idiap Research Institute（Idiap研究机构） ； École Polytechnique Fédérale de Lausanne（瑞士联邦理工学院洛桑分校） 纠错

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

AI总结 提出TTTS算法，利用张量分解压缩决策树分支间的隐式相关性，以线性复杂度降低MCTS的计算和存储开销，在逆运动学、运动规划、多阶段操作等任务中实现高效全局优化。

Comments 25 pages, 17 figures

TabClean: Reusable LLM-Synthesized Programs for Tabular Data Cleaning

TabClean: 用于表格数据清洗的可复用LLM合成程序

Yibo Wang, Riteng Zhang, Yinghao He, Yongye Su, Bharat Bhargava, Chunwei Liu

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

AI总结 提出TabClean系统，通过将LLM推理编译为可复用的带守卫修复程序，实现无模型训练的表格数据清洗，在五个基准数据集上F1优于基线，并大幅降低重复运行成本。

Comments 13 pages

Dominance-Based Feasibility Inference for Packing-Constrained Pickup and Delivery Problems

基于支配性的可行推断用于带装箱约束的取送货问题

Siqiao Li, Mahnam Saeednia, Patrick Stokkink

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

AI总结 针对带二维装箱约束的取送货问题，提出一种基于支配性的可行推断框架，通过保序映射和搜索规则减少精确装箱验证调用，将可行性检查时间降低高达42%。

Comments 34 pages, 11 figures

Constraint-Aware Quantum Optimization of Defect Configurations in Doped ZrO2: XY-Mixer QAOA and Grover Adaptive Search

掺杂ZrO2中缺陷构型的约束感知量子优化：XY混合器QAOA与Grover自适应搜索

Huajing Song

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

AI总结 针对掺杂ZrO2热障涂层材料中的成分-缺陷搜索问题，开发了端到端的约束感知量子优化工作流，通过QUBO代理模型和两种量子路径（XY混合器QAOA和容错Grover自适应搜索）实现高效搜索，其中QAOA在深度p=3时将86%的概率质量集中在MACE最优值1 meV内。

Comments 18 pages, 9 figures, 4 tables