AI Agent

Reducing entanglement with a Hamiltonian derived Clifford transformation

用哈密顿量导出的克利福德变换减少纠缠

James Brown, Erika Lloyd, Alexandre Fleury, Tarini S Hardikar, Kenny Heitritter

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

AI总结 研究利用Q-Cliff算法生成化学系统基态的高效近似，该算法精度在MP2和CISD之间，计算量为\(O(N^6)\)。通过DMRG计算减少量子比特纠缠，改进算法生成低深度且CNOT高效的电路，为经典和量子算法提供新工具。

Comments 11 pages, 4 figures

Real-Time Flight Test Maneuver Selection with Monte Carlo Tree Search

基于蒙特卡洛树搜索的实时飞行测试机动选择

Nicholas E. Bostock, Helen Pruitt-Kennett, Marc R. Schlichting, Mykel J. Kochenderfer

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

AI总结 研究如何在资源限制下安排飞行架次机动动作以降不确定性，提出结合高斯过程与蒙特卡洛树搜索的实时规划框架，用加权综合方差减少评分，经模拟评估，该方法在降不确定性上优于基线，是提高飞行测试效率的有前途方法。

Comments N. E. Bostock and H. Pruitt-Kennett contributed equally. 9 pages, 4 figures. Accepted to the 45th AIAA/IEEE Digital Avionics Systems Conference (DASC 2026)

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模块可处理多相模式，通过图形界面提供可解释且可重现的相识别平台。

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

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

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

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

Collaborating with Artists in the Search for Life

与艺术家合作寻找生命

Jack Madden, Cybele Collins, Mia Rollins, Ashika Capirala

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

AI总结 本文探讨艺术与科学协作在天体生物学中的价值，通过案例展示艺术家在问题解决、情境化和设计思维方面的独特贡献，并提出资助艺术家咨询、恢复驻留项目等建议。

Comments NASA-DARES 2025 white paper, 5 pages, 3 figures. Originally submitted in 2025 under topic 8 (Prepare for the Discovery of Life Beyond Earth and Subsequent Post-Discovery Activities), which now falls under focus area 9 (Astrobiology in Society)

CONDUCTOR: An LLM-Orchestrated Digital Twin for Uncertainty-Aware Distribution Grid Operations

CONDUCTOR: 一种用于不确定性感知配电网运行的LLM编排数字孪生

Antonio Alcántara, Aysegül Kahraman, Anosh Arshad Sundhu, Spyros Chatzivasileiadis

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

AI总结 提出CONDUCTOR，一种基于大语言模型编排的数字孪生系统，用于配电网运行，支持不确定性感知分析（概率安全评估、鲁棒校正调度等），在真实丹麦博恩霍尔姆60 kV配电网测试中，首次任务正确率达98.5%。

Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)

基于s(CASP)的复杂自主无人机任务执行与决策

Keegan Kimbrell, Alexis R. Tudor, Peter Van, Trevor Bihl, Doug Slattery, Gopal Gupta

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

AI总结 提出使用s(CASP)回答集编程系统构建符号状态中心的无人机代理，在虚幻引擎5环境中实现基于约束的常识推理，支持多步骤自主行为并动态调整计划，确保决策正确可解释。

"What Happens Locally, Leaks Globally": Detecting Privacy Leakage Risks in MCP Servers

“局部发生，全局泄露”：检测MCP服务器中的隐私泄露风险

Biwei Yan, Minghui Xu, Yijun Yang, Boyang Ma, Xuelong Dai, Jingku Li, Yue Zhang

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

AI总结 提出MCPPrivacyDetector，一种上下文感知的跨语言静态分析框架，用于检测MCP服务器中由协议引发的隐私泄露，在10,655个真实服务器中发现超过10%的泄露率。

From Punishment to Protection: Charting Six Decades of U.S. Juvenile Justice Through Topic Modeling and LLM-Assisted Analysis

从惩罚到保护：通过主题建模和LLM辅助分析描绘美国少年司法的六十年变迁

Nia E. George, Simeon Sayer

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

AI总结 本文通过主题建模和LLM辅助分析60470份美国上诉意见（1970-2025），发现儿童福利案件激增、性犯罪登记案件翻倍，而传统惩罚机制（移交成人法庭、少年死刑）大幅下降，并揭示了法律词汇的十年演变和司法管辖区碎片化风险。

Comments 7 figures, 4 tables, includes appendices