AI Agent

Closed-loop Auto Research for Molecular Property Prediction: Discovering and Certifying Generalizable Improvements

分子性质预测的闭环自动研究：发现并认证可泛化的改进

Jingjie Ning, Xiaochuan Li, Ji Zeng, Chenyan Xiong, Guolin Ke

机构 * DP Technology 纠错

专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)；分类 cs.AI

AI总结 提出闭环自动研究框架，通过语言模型代理编辑表示、模型代码和外部证据，在分子性质预测任务上评估改进的泛化性，发现特征、模型和数据三个轴线的可迁移性因基准而异，并验证了污染过滤对迁移的必要性。

Zhinong AI: A Design-Science Study of an AI-Enabled Agricultural Decision-Support Platform for Smallholder Production

Zhinong AI：面向小农生产的AI赋能农业决策支持平台的设计科学研究

Zhaoyang Li, Jiaqi Liu, Ruijie Zhang

机构 * University of Sanya（三亚大学） ； Hebei International Studies University（河北国际关系学院） 纠错

专题命中 工作流自动化 ：planning(abstract)；workflow(abstract)；分类 cs.AI

AI总结 本文通过设计科学研究，提出了一个集成信息推送、问答、诊断、日历管理等功能的小农决策支持平台，并构建了分层架构、闭环流程、评估指标和治理框架，为AI农业原型转化为可测试、负责任的基础设施提供了结构化研究框架。

Anything2Skill: Compiling External Knowledge into Reusable Skills for Agents

Anything2Skill: 将外部知识编译为智能体的可复用技能

Qianjun Pan, Yutao Yang, Junsong Li, Jie Zhou, Kai Chen, Xin Li, Qin Chen, Liang He

机构 * East China Normal University（华东师范大学） ； Shanghai AI Laboratory（上海人工智能实验室） 纠错

专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)；分类 cs.AI

AI总结 提出Anything2Skill框架，将异构外部知识编译为可复用、可检索、可执行的技能，结合RAG显著提升智能体任务成功率。

Pessimistic Verification for Open Ended Math Questions

开放数学问题的悲观验证

Yanxing Huang, Zihan Tang, Zejin Lin, Peng Li, Yang Liu

机构 * Qiuzhen College, Tsinghua University, Beijing, China ； Institute for AI Industry Research (AIR), Tsinghua University, Beijing, China ； Dept. of Comp. Sci \& Tech., Institute for AI, Tsinghua University, Beijing, China 纠错

专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)；分类 cs.AI

AI总结 提出悲观验证范式，通过多个并行验证器拒绝有缺陷的解决方案，并引入渐进式悲观验证以增强精度和效率，在竞赛级数学问题上显著提升性能。

AI-Assisted Completion of CertiGC Proofs: An Experience Report

AI辅助完成CertiGC证明：经验报告

Shengyi Wang

专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)

AI总结 本文报告使用Codex辅助完成CertiGC垃圾收集器证明的经验，通过引入记录后向边不变量修复证明，并审计清理了过时条件。

Comments 14 pages

Autonomous Generation of Metamaterial Databases Based on Multimodal Agents

基于多模态代理的元材料数据库自主生成

Shilong Qin, Zhicai Yu, Xuan Zheng, Yan Zhang, Aodi Yang, Kezhan Zhao, Qi Cheng Chen, Jian Wei You, Tie Jun Cui

专题命中 工作流自动化 ：agent(abstract)；multi-agent(abstract)

AI总结 提出MetaDataGenAgent多模态多代理框架，通过文献到仿真的自动化流程，从非结构化科学文献中提取并生成元材料结构-响应数据库，实现远场波束偏转、近场全息成像等功能。

Comments 18 pages, 5 figures

Detecting Satellites in Radio-Frequency Data via Semi-Supervised Learning

通过半监督学习检测射频数据中的卫星

Cade W. Trotter, Maksim E. Eren, Justin C. Holmes, J. Brent Parham, David Ewing, Boian S. Alexandrov, Gian Luca Delzanno

机构 * Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室） ； MIT Lincoln Laboratory（麻省理工学院林肯实验室） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.LG

AI总结 提出结合非负矩阵分解与自动模型确定（NMFk）、专家引导聚类解释和分类器预测的半监督工作流，用于卫星监测中的射频检测与分类，减少对大量标注数据的依赖。

AwakeForest: An Interactive Geospatial Platform for Large-Scale Forest Imagery

AwakeForest: 一个用于大规模森林影像的交互式地理空间平台

Suraj Prasai, Kangning Cui, Rongkun Zhu, Sarra Alqahtani, Ying Zhang, Victor Paul Pauca, Miles R. Silman, Fan Yang

机构 * Wake Forest University（维克森林大学） ； Hong Kong Baptist University（香港浸会大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE

AI总结 提出AwakeForest平台，集成模型辅助推理、自动标注和人在回路优化，支持大规模森林影像的端到端工作流，实现地理空间原生、云优化和机器学习集成。

CLI-Universe: Towards Verifiable Task Synthesis Engine for Terminal Agents

CLI-Universe：面向终端代理的可验证任务合成引擎

Zhanbo Hua, Yifan Yao, Weihao Xie, Yongchi Zhao, Minghao Liu, Ruizhi Qiu, Zhewei Huang, Zun Wang, Yiyan Ji, Yunhai Ye, Letian Zhu, Xinping Lei, Han Li, Zhiyuan Ma, Zili Wang, Zhaoxiang Zhang, Jiaheng Liu

机构 * Nanjing University（南京大学） ； StepFun（阶跃星辰） ； ZODA ； Shanghai AI Lab（上海人工智能实验室） ； Huazhong University of Science and Technology（华中科技大学） 纠错

专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI

AI总结 提出CLI-Universe引擎，通过多维能力分类采样和证据引导研究生成终端代理任务，经多阶段可执行验证流水线筛选，构建高质量数据集CLI-Universe-6K，微调Qwen3-32B在Terminal-Bench 2.0上达到33.4%的SOTA。

Comments 20 pages, 5 figures, 3 tables. Preprint

Failure Analysis in Transition: An Industry Survey of Challenges, Priorities, and Standardization Needs in Advanced Packaging and Heterogeneous Integration

转型中的失效分析：先进封装与异构集成挑战、优先级及标准化需求的行业调查

Himanandhan Reddy Kottur, Nusra Akter Takia, Mahamudul Hassan Fuad, Istiaq Firoz Shiam, Matthew Walsh, Navid Asadizanjani

机构 * Department of Electrical and Computer Engineering, University of Florida（佛罗里达大学电气与计算机工程系） ； Florida Semiconductor Engine（佛罗里达半导体引擎） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE

AI总结 通过行业调查，揭示异构集成、小芯片等趋势下失效分析的关键瓶颈（如混合键合分析难度高）和需求（高分辨率无损成像、数据标准化），69%受访者从事相关领域。

Native space based pipelines outperform template space based pipeline in subcortical segmentation

基于原生空间的分割管线在皮层下核团分割中优于基于模板空间的分割管线

Tomás Lima, Daniel Novák, Eduard Bakštein

机构 * Department of Cybernetics, Czech Technical University in Prague（捷克布拉格捷克理工大学控制论系） ； National Institute of Mental Health（国家心理健康研究所） 纠错

专题命中 工作流自动化 ：planning(abstract)；分类 cs.LG

AI总结 本研究开发了基于原生空间的UNet分割管线，在7T和3T MRI数据上对丘脑底核、红核和黑质进行分割，发现原生空间方法在精度上显著优于模板空间方法，且提高模板分辨率无法改善性能，但7T到3T的域迁移仍是挑战。

Comments 18 pages, 8 figures

VTOS: Learning to Orchestrate Vision Tools by Co-Searching Solutions and Observers

VTOS: 通过联合搜索解决方案和观察者来学习编排视觉工具

Jinchao Ge, Lingqiao Liu, Shuwen Zhao, Lei Wang

机构 * University of Wollongong（伍伦贡大学） ； Adelaide University（阿德莱德大学） ； Tianjin University of Technology（天津理工大学） 纠错

专题命中 工作流自动化 ：agentic(abstract)；分类 cs.CL

AI总结 提出VTOS框架，通过联合搜索解决方案和观察者程序，自适应编排视觉工具（如Grounding DINO、SAM等），解决密集目标、遮挡和小目标等挑战，在LVIS-Count和PlantSeg-OOD任务上优于静态流水线和智能体基线。

Comments 18 pages, 5 figures, 9 tables

A UAV-Based Multi-Modal Vision System for Automated Sideslope Deformation Monitoring and Hazard Detection

基于无人机多模态视觉系统的边坡变形自动监测与灾害检测

Jingfeng Zhang, Yi Li, Xianchong Liang, Huan Yang

机构 * South China Normal University（华南师范大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG

AI总结 提出一种基于无人机LiDAR的自动化边坡灾害检测流程，包括数据采集、地面点提取、单次观测灾害筛查和多次观测变形监测，实现厘米级形变量化与危险区域识别。

Comments 29 pages, 14 figures

LLM-assisted gNB Parameter Configuration for Radio Access Network

LLM辅助的无线接入网gNB参数配置

Yao-Cong Dong, Maria Amparo Canaveras Galdon, Ari Uskudar, Kuntal Chowdhury, Edwin K. P. Chong, Ray-Guang Cheng

机构 * Dept. of Electronic and Computer Engineering, National Taiwan University of Science and Technology, Taiwan（电子与计算机工程系，台湾科技大学） ； NVIDIA, USA（NVIDIA公司） ； Colorado State University, USA（科罗拉多州立大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI

AI总结 提出LLM辅助框架，通过合成数据生成和微调，自动从错误日志中生成正确的gNB参数配置，在OAI测试中准确率达92.7%。

Study on Quantitative Dynamic Epistemic Logic for Belief Revision

信念修正的定量动态认知逻辑研究

Felipe Nunes de Souza Camargo

机构 * State University of Campinas (UNICAMP)（坎皮纳斯州立大学（UNICAMP）） 纠错

专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI

AI总结 本文基于AGM理论，引入定量“确信度”概念，扩展动态认知逻辑P*，形式化信念修正过程，并通过定理证明和哲学标准分析，提出更符合AGM直觉的修正函数*^0。

Stealthy World Model Manipulation via Data Poisoning

通过数据投毒进行隐蔽的世界模型操纵

Yibin Hu, Xiaolin Sun, Zizhan Zheng

机构 * Department of Computer Science（计算机科学系） 纠错

专题命中 工作流自动化 ：planning(abstract)；分类 cs.LG

AI总结 提出SWAAP框架，通过两阶段数据投毒（双层级优化寻找有害目标模型+梯度匹配隐蔽实现）操纵学习到的世界模型，导致规划性能显著下降，且能规避多种防御检测。

Comments 41 pages, 8 figures, 11 tables

Neuro-Symbolic Agents for Regulated Process Automation: Challenges and Research Agenda

用于受规管流程自动化的神经符号代理：挑战与研究议程

Alexander Rombach, Chantale Lauer, Nijat Mehdiyev

机构 * German Research Center for Artificial Intelligence (DFKI)（德国人工智能研究中心（DFKI）） ； Saarland University（萨尔大学） 纠错

专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI

AI总结 提出将领域内符号结构（法规、流程模型、合规约束）作为代理核心架构组件，实现合规性内置（compliance-by-construction）以补充护栏监控，并列出神经符号研究挑战。

Comments Accepted as a poster in NILA Workshop @ IJCAI-ECAI 2026

Quantum Neural Physics: Solving Partial Differential Equations on Quantum Simulators using Quantum Convolutional Neural Networks

量子神经物理：使用量子卷积神经网络在量子模拟器上求解偏微分方程

Jucai Zhai, Muhammad Abdullah, Boyang Chen, Fazal Chaudry, Paul N. Smith, Claire E. Heaney, Yanghua Wang, Jiansheng Xiang, Christopher C. Pain

机构 * Resource Geophysics Academy（资源地球物理学院） ； Imperial College London（帝国理工学院） ； Applied Modelling and Computation Group, Department of Earth Science and Engineering（应用建模与计算组，地球科学与工程系） ； Quantum AI Leadership (QUAIL) Ltd（量子人工智能领导（QUAIL）有限公司） ； Centre for AI-Physics Modelling, Imperial-X, White City Campus（人工智能-物理建模中心，帝国-X，怀特城校区） ； Data Assimilation Lab., Data Science Institute（数据同化实验室，数据科学研究院） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG

AI总结 提出量子神经物理框架和混合量子-经典CNN多重网格求解器，将偏微分方程的局部离散映射为量子卷积原语，在无噪声模拟器上验证了泊松、对流扩散等问题的数值一致性和稳定性。

Comments 25 pages and 8 figures

Modern Software Engineering in the LAMMPS Molecular Dynamics Software Package: Development Process, Refactoring, Testing, and Deployment

LAMMPS分子动力学软件包中的现代软件工程：开发流程、重构、测试与部署

Axel Kohlmeyer

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.SE

AI总结 本文回顾了LAMMPS软件包近年来的开发流程改进，包括源代码管理、自动化测试、代码重构、现代C++采用等，这些改进提升了代码质量并促进了软件的持续流行。

MBRarefy: data-adaptive multi-bin rarefying for alpha diversity association analysis

MBRarefy：用于α多样性关联分析的数据自适应多箱稀疏化

Mo Li

专题命中 工作流自动化 ：workflow(abstract)

AI总结 提出MBRarefy R包，通过遗传算法自动选择文库大小箱阈值，结合重复稀疏化、箱内检验和跨箱元分析，实现异质文库大小下的α多样性关联分析。

Estimating common synaptic inputs to spinal motor neurons from motor unit spike trains using openhdemg

使用openhdemg从运动单位脉冲序列估计脊髓运动神经元的共同突触输入

Helio V. Cabral, Giacomo Valli, Roberto Zanotti, Ioannis Delis, Francesco Negro

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本文利用openhdemg开源框架，系统介绍了从运动单位脉冲序列估计共同突触输入的三种方法（时域、频域和网络信息方法），并提供了参数选择建议和完整工作流程。

Comments 59 pages; 11 figures; for supplementary material, see https://doi.org/10.6084/m9.figshare.32751243

UECP: Uncertainty-Enhanced Collaborative Perception

UECP：不确定性增强的协同感知

Kang Yang, Tianci Bu, Peng Wang, Deying Li, Wen Jie, Yongcai Wang

机构 * Renmin University of China（中国人民大学） ； National University of Defense Technology（国防科技大学） ； China Waterborne Transport Research Institute（交通运输部水运科学研究院） 纠错

专题命中 工作流自动化 ：agent(abstract)

AI总结 针对协同感知中证据不可靠和融合不充分的问题，提出基于物理场景感知的不确定性图，并构建UECP框架，通过UAPF模块实现鲁棒融合，在真实数据集上超越现有方法。

Comments 22 pages, 10 figures

DrivingVoxels: Compositional Sparse Voxel Rasterization for Dynamic Driving Scene Reconstruction

DrivingVoxels：用于动态驾驶场景重建的组合稀疏体素光栅化

Tania Aguirre, Luis Roldão, Moussab Bennehar, Nathan Piasco, Dzmitry Tsishkou, Simone Rossi, Pietro Michiardi

机构 * Noah’s Ark, Huawei Paris Research Center, France（华为巴黎研究中心诺亚方舟实验室） ； EURECOM, France（法国EURECOM） 纠错

专题命中 工作流自动化 ：workflow(abstract)

AI总结 提出DrivingVoxels框架，通过组合多个独立八叉树的稀疏体素联合光栅化，结合LiDAR引导的结构初始化，高效重建动态驾驶场景，在PandaSet上达到与3DGS相当或更优的感知与结构指标，且训练时间更短。

SHACR: A Graph-Augmented Semi-Autonomous Framework for Multi-Class Conflict Resolution in Smart Home IoT Automation

SHACR：一种用于智能家居物联网自动化中多类冲突解决的图增强半自主框架

Leena Marghalani, Walid Aljoby, Suayb S. Arslan

专题命中 工作流自动化 ：workflow(abstract)

AI总结 提出SHACR框架，通过有向知识图谱将冲突检测从文本推理转化为确定性多跳图遍历，统一逻辑、语义和物理冲突，结合LLM实现闭环工作流，在203条规则测试中F1从0.59提升至0.95。

TRACE: A Threat Modelling Methodology for Distributed, Cloud-First, and Decentralized Organisations

TRACE：面向分布式、云优先和去中心化组织的威胁建模方法

Stefan Beyer

专题命中 工作流自动化 ：workflow(abstract)

AI总结 提出TRACE方法，通过三层模型（协议、系统、组织）和证据链，解决现有威胁建模在云优先、去中心化场景下对授权恶意行为、共谋等风险的遗漏问题。

Comments 12 pages, 1 figure, 1 table

Accelerating Simulation and Optimisation of Cyclic Adsorption Processes with Differentiable Programming

利用可微编程加速循环吸附过程的模拟与优化

Alex Glover, Maria M. Papathanasiou, Ronny Pini

专题命中 工作流自动化 ：workflow(abstract)

AI总结 提出基于JAX可微编程框架的端到端可微循环吸附过程模型，通过自动微分实现牛顿迭代加速稳态收敛20倍，并利用精确梯度进行多目标优化，相比遗传算法NSGA-II获得更优Pareto前沿且速度提升两个数量级。

Hybrid Intelligence in Cartoon Captioning: Evaluating AI as a Creative Writing Partner

卡通字幕中的混合智能：评估AI作为创意写作伙伴

Uğur Önal, Sanem Sariel, Metin Sezgin, Derya Akleman, Ergun Akleman

专题命中 工作流自动化 ：workflow(abstract)

AI总结 研究通过GPT-4o为IEEE计算机杂志卡通生成字幕，评估AI在幽默创作中的表现，发现AI能提供创意但需人类把控，建议作为辅助工具。

Comments 12 pages, 8 Figures, Accepted to AI Magazine

Adversarial Reinforcement Learning for Adaptive Eavesdropping in BB84 Quantum Key Distribution

BB84量子密钥分发中自适应窃听的对立强化学习

Ramon Jose C. Bagunu

专题命中 工作流自动化 ：agent(abstract)

AI总结 将窃听者建模为学习智能体，使用强化学习（表格Q学习、SARSA、双Q学习）自适应攻击BB84协议，在低噪声下将检测率从99.4%降至0.28%±0.27%，并发现自发出现的末段攻击爆发现象。

Comments 8 pages, 8 figures, 3 tables

Detector-Grade Germanium as a Low-Disorder Host for Indium-Acceptor Spin Qubits: A Five-Qubit Materials-to-Architecture Design Study

探测器级锗作为铟受体自旋量子比特的低无序宿主：一项五量子比特从材料到架构的设计研究

D. -M. Mei, K. -M. Dong, S. A. Panamaldeniya, N. Budhathoki, S. Chhetri, A. Prem, S. Bhattarai

专题命中 工作流自动化 ：workflow(abstract)

AI总结 本研究提出基于探测器级超纯锗中铟受体的自旋量子比特平台，通过理论指导设计，分析其物理基础、器件架构、无序限制及耦合层次，证明该平台可抑制无序并支持电控与耦合，为量子信息处理提供中间架构。

Comments 45 pages, 4 figures, 7 tables

Simulating a Post-Automation Economy

模拟后自动化经济

Leonard Wossnig

专题命中 工作流自动化 ：agent(abstract)

AI总结 通过基于主体的存量流量一致模型，研究自动化经济中何种财政工具能捕获人工智能创造的持久剩余，发现关键在于对跨境AI租金的来源地征税。