AI Agent

When Can Depth Replace Precision? A Resource Theory of Quantized Neural Computation

深度何时能取代精度？量化神经计算的资源理论

Mojtaba Soltanalian

机构 * University of Illinois Chicago（伊利诺伊大学芝加哥分校） 纠错

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

AI总结 研究固定输入输出映射下低比特残差计算能否取代数值精度，通过建模量化残差系统刻画无限深度极限，得出纯调度接近松弛类的速率等结论，还探讨了多种相关情况，指出深度取代精度有条件限制。

Comments 141 pages, 26 figures, 15 tables. Includes complete proofs and documents the QReplace decision-support and Lean 4 verification companions. To be submitted to the Journal of Machine Learning Research

MolCryst-MLIPs: A Machine-Learned Interatomic Potentials Database for Molecular Crystals

MolCryst-MLIPs：用于分子晶体的机器学习互原子势数据库

Adam Lahouari, Shen Ai, Jihye Han, Jillian Hoffstadt, Philipp Hoellmer, Charlotte Infante, Pulkita Jain, Sangram Kadam, Maya M. Martirossyan, Amara McCune, Hypatia Newton, Shlok J. Paul, Willmor Pena, Jonathan Raghoonanan, Sumon Sahu, Oliver Tan, Andrea Vergara, Jutta Rogal, Mark E. Tuckerman

机构 * Department of Chemistry, New York University（纽约大学化学系） ； New York University（纽约大学） ； Simons Center for Computational Physical Chemistry, New York University（纽约大学计算物理化学中心） ； Department of Physics, New York University（纽约大学物理系） ； Department of Chemical and Biomolecular Engineering, Tandon School of Engineering, New York University（纽约大学工程学院化学与生物分子工程系） ； New York University Shanghai（纽约大学上海分校） 纠错

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

AI总结 本文提出一个开源的分子晶体机器学习互原子势数据库MolCryst-MLIPs，包含九种分子晶体系统经过微调的MACE模型，通过自动化机器学习流程实现可重复的建模流程，提供高精度的势能和力预测。

Rethinking Prospect Theory for LLMs: Revealing the Instability of Decision-Making under Epistemic Uncertainty

重新思考用于大语言模型的前景理论：在认知不确定性下决策的不稳定性

Rui Wang, Qihan Lin, Jiayu Liu, Qing Zong, Tianshi Zheng, Dadi Guo, Haochen Shi, Peixuan Han, Weiqi Wang, Yangqiu Song

机构 * Hong Kong University of Science and Technology（香港科技大学） ； Huazhong University of Science and Technology（华中科技大学） ； University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） 纠错

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

AI总结 本文重新审视前景理论在大语言模型中的应用，发现其在认知不确定性下的决策稳定性存在问题，指出前景理论可能无法可靠地处理此类不确定性。

Domain-Specific Data Quality Analysis Using Technology-Independent Query Templates

使用与技术无关的查询模板进行特定领域的数据质量分析

Arno Kesper, Lukas Sebastian Hofmann, Markus Matoni, Gabriele Taentzer

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

AI总结 研究针对领域专家缺乏查询语言知识难以独立管理数据质量的问题，提出质量模式模型框架QPM，通过模型驱动定义与技术和领域无关的分析模板，经三种数据库技术验证及用户研究，证明其表现力强且能助领域专家独立进行质量分析。

Comments 38 pages, 19 figures, submitted to SoSym Journal

The Clinical Trial Pipeline Reveals the Next Wave of Artificial Intelligence in Healthcare: A Multidimensional Analysis of 8,532 Registered Studies

临床试验管道揭示医疗保健领域人工智能的下一波浪潮：对8532项注册研究的多维分析

Lior Rokach

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

AI总结 该研究通过对8532项注册研究多维分析，揭示医学人工智能临床试验格局。用关键词搜索和分类器识别试验，从多维度分类，发现虽从回顾转向前瞻，但在规模、专业覆盖等方面有差距，未来进展取决于弥合这些差距。

Modelling the Correlation Structure of Uncertain Input Parameters for Energy System Optimization

为能源系统优化对不确定输入参数的相关结构进行建模

Klara Maggauer, Yannick Werner, Stefan Strömer, Sonja Wogrin

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

AI总结 研究针对随机能源系统优化模型中忽视不确定输入参数统计依赖性的问题，提出基于copula的工作流程来识别、表征和建模相关结构，以奥地利数据为例验证该方法有效，还指出迈向完整框架的后续关键步骤。

Comments European Energy Market (EEM) 2026 conference

Parallelizable Exact Synthesis of Quantum Circuits via Semi-Tensor Product

基于半张量积的量子电路并行精确合成

Chenjian Li, Dingchao Gao, Xiangzhen Zhou, Ji Guan, Pengcheng Zhu, Zhufei Chu

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

AI总结 针对现有量子电路精确合成方法的不足，本文基于半张量积理论，为CNOT和相位多项式电路引入并行精确合成框架，通过特定枚举和求解方式实现并行加速，在小实例上比基线快，在实际工作流程中多数情况表现更优。

An Integrated DFT-Wannier-Quantum Embedding Pipeline for Strongly Correlated Materials: Scaling Benchmarks in Li-hBN

用于强关联材料的集成DFT-万尼尔-量子嵌入管道：Li-hBN中的缩放基准测试

Hermawan Kresno Dipojono

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

AI总结 研究针对强关联材料，提出集成DFT-万尼尔-量子嵌入的计算管道，利用ADAPT-VQE框架及相关增强策略，通过对Li-hBN的基准研究，量化活性空间与计算需求关系，为工作流程提供性能基线和对混合架构限制的见解。

Comments 12 pages, 1 figure

ViBra: Configuration Interaction for Anharmonic Vibrational Spectroscopy and Quantum-Sampled Configuration Spaces

ViBra：用于非谐振动光谱和量子采样配置空间的组态相互作用

Raphael F. Ligorio, Marco Antonio Barroca, Alan Duriez, Mathias B. Steiner

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

AI总结 研究提出一种用于非谐振动结构计算的方法，可在量子-经典混合模式下部署，结合VSCF与VCI不同模式，通过爱泼斯坦-内斯比特微扰筛选减少配置空间，以量子采样算法为种子进行计算，还推出了配有图形界面的ViBra包。

Comments 48 pages, 6 figures, 6 tables

A TQFT-based Platform for Efficient Computation of Knot Invariants

一个基于拓扑量子场论的纽结不变量高效计算平台

Amena Al Rawi, Hisham Sati, Vivek Kumar Singh

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

AI总结 该平台统一费曼带状图构建、高阶陈 - 西蒙斯纽结不变量评估及类似FRD纽结识别，能将FRD构建为张量网络，评估相关不变量并识别纽结，是首个结合多种功能于统一工作流程的平台。

Comments 20 pages, 8 figures, Software available at: https://tqft-knot-explorer-559830223866.me-central1.run.app/

A Modern ConvNet for Solar Filament Detection

一种用于太阳暗条检测的现代卷积神经网络

J. R. Hu, Q. Hao, Z. Zheng, P. F. Chen, C. Li, Y. Meng

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

AI总结 针对太阳暗条检测面临的挑战，提出系列机器学习方法，通过标注数据集、开发MORDEN模型及引入后处理方法，生成高质量数据集，实验表明该方法性能良好，为太阳暗条检测深度学习模型潜力最大化奠定基础。

Comments 21 pages, 4 figures, accepted for publication in RAA

PhotoIFU: NIRCam as a Photometric Integral Field Unit for Mapping Feedback in Galaxies

PhotoIFU：将近红外相机用作星系中映射反馈的光度积分场单元

Yongda Zhu, Marcia J. Rieke, Courtney Carreira, Yang Sun, Zhiyuan Ji, Jianwei Lyu, Christina C. Williams, Stacey Alberts, Feng Yuan, Yuxuan Zou, Yurina Nakazato, Andrew J. Bunker, Sandro Tacchella, Fengwu Sun, George H. Rieke, Eiichi Egami, Jacopo Chevallard, Kevin Hainline, Zheng Ma, Pablo G. Pérez-González, Pierluigi Rinaldi, Bruno Rodríguez Del Pino, Tristen Shields, Meredith Stone, Christopher N. A. Willmer, Zihao Wu, Minghao Yue, Junyu Zhang

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

AI总结 研究利用PhotoIFU工作流程，将深度多波段成像用于低分辨率光度积分场单元，对三个特定星系进行逐像素SED拟合，绘制相关属性地图，发现外流和扩展发射线结构与宿主星系属性差异有关，为反馈结构SED映射提供成像方法。

Comments 22 pages. Submitted to ApJ. The code will be made publicly available

False Summit and Silent Drift: A Failure Taxonomy and Efficiency Analysis of LLM-Assisted Multiphysics Simulation in an Open-Source Framework

假峰与无声漂移：开源框架中LLM辅助多物理场仿真的失败分类与效率分析

Chi-Chun Chiang, Shih-Ming He

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

AI总结 研究LLM辅助多物理场仿真开发中的失败模式，提出八类失败分类法，并通过LPCVD模型案例揭示假峰和无声漂移两类关键错误。

Comments 29 pages, 7 figures, 9 tables

Art Card Game (ACG): Embedding Illustration in Gameplay to Mitigate Artist Self-Criticism

Art Card Game (ACG): 将插图嵌入游戏玩法以缓解艺术家自我批评

Catherine Mullings, Michael S. Bernstein

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

AI总结 本文提出了一种在创作流程中减少艺术家自我批评的方法：Art Card Game (ACG)，通过将插图任务嵌入到卡牌定制游戏中，使玩家在游戏对抗中展示插图作品，从而提高创作自豪感和游戏乐趣，减少自我批评。

Kernel-SDF: An Open-Source Library for Real-Time Signed Distance Function Estimation using Kernel Regression

基于核回归的SDF库：利用核回归进行实时符号距离函数估计的开源库

Zhirui Dai, Tianxing Fan, Mani Amani, Jaemin Seo, Ki Myung Brian Lee, Hyondong Oh, Nikolay Atanasov

机构 * University of California, San Diego（加州大学圣地亚哥分校） ； Korea Advanced Institute of Science and Technology (KAIST)（韩国科学技术院） 纠错

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

AI总结 本文提出Kernel-SDF开源库，通过核回归实时估计带不确定性的符号距离函数，提供高精度SDF、梯度和网格构造，适用于机器人应用。

Comments Accepted to IEEE Robotics and Automation Letters (RA-L) 2026; code: https://github.com/ExistentialRobotics/kernel_sdf

Parameterizing DFT+U+V from Hybrid Functionals: A Wannier-Function-Based Approach for Strongly Correlated Materials

通过杂化泛函计算参数化DFT+U+V：一种基于Wannier函数的方法用于强相关材料

Dmitry M. Korotin, Anna A. Anisimova, Vladimir I. Anisimov

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

AI总结 该研究提出了一种基于Wannier函数的方法，通过杂化泛函计算参数化DFT+U+V，用于强相关材料的高效模拟与计算。

Bayesian Parameter Estimation for Predictive Modeling of Illumination-Dependent Current-Voltage Curves

基于贝叶斯参数估计的光照依赖电流-电压曲线预测建模

Eunchi Kim, Thomas Kirchartz

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

AI总结 本研究通过贝叶斯参数估计方法，改进了光照依赖电流-电压曲线的预测建模，强调暗并联电阻和移位电流对提高预测准确性的重要性，并分析了不同输入JV曲线组合对参数估计的影响。

Comments 10 Pages, 6 figures

ExposNet: A Deep Learning Framework for EMF Exposure Prediction in Complex Urban Environments

ExposNet：一种用于复杂城市环境中电磁场暴露预测的深度学习框架

Yarui Zhang, Shanshan Wang, Joe Wiart

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

AI总结 ExposNet通过深度学习框架在复杂城市环境中实现高精度的电磁场暴露预测，优于以往研究。

Journal ref IEEE Transactions on Machine Learning in Communications and Networking, vol. 4, pp. 1229-1243, 2026

Equivalence of inequality indices in the three-dimensional model of informetric impact

信息计量影响三维模型中不平等指数的等价性

Lucio Bertoli-Barsotti, Marek Gagolewski, Grzegorz Siudem, Barbara Żogała-Siudem

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

AI总结 研究信息计量影响三维模型中不平等指数，指出其与特定迭代过程的关系，证明基尼、邦费罗尼、德韦尔戈蒂尼和胡佛指数对相似规模样本等价，可相互重构并理解对样本大小的依赖，实证分析与理论推导匹配。

Journal ref Journal of Informetrics 18(4), 2024, 101566

CollabSkill: Evaluating Human-Agent Collaboration On Real-World Tasks

CollabSkill: 评估真实世界任务中的人机协作

Yijia Shao, Zora Zhiruo Wang, Neel Ahuja, Yicheng Wang, Bowen Liu, Diyi Yang

机构 * Stanford University（斯坦福大学） ； Carnegie Mellon University（卡内基梅隆大学） ； University of Rochester（罗切斯特大学） ； Individual Researcher（独立研究者） 纠错

专题命中 软件智能体 ：agent(title,abstract)；AI agent(abstract)；分类 cs.AI

AI总结 提出CollabSkill框架，通过配对真实工人与AI代理执行职业任务，利用贝叶斯技能评级系统量化人机贡献，揭示Claude Code排名第一且实践经验是协作技能的主要驱动力。

Comments 10 pages of main paper, COLM 2026

Automated Lemma Discovery in Agentic Program Verification

代理程序验证中的引理发现

Huan Zhao, Haoxin Tu, Zhengyao Liu, Martin C. Rinard, Abhik Roychoudhury

专题命中 软件智能体 ：agentic(title,abstract)；agent(abstract)；分类 cs.SE

AI总结 本文提出LemmaNet代理，通过分析源代码和规格，发现辅助引理以提升程序验证的正确性保证。

Comments 13 pages. To appear in ASE 26

The Best Programming Language for Tokenmaxxing: An Investigation of Coding Agent Behavior Across Programming Languages

用于Tokenmaxxing的最佳编程语言：跨编程语言的编码代理行为研究

Zixuan Wu, Carolyn Jane Anderson, Arjun Guha

专题命中 软件智能体 ：agent(title,abstract)；分类 cs.CL、cs.SE

AI总结 研究跨Python、Java、Rust和OCaml的编码代理行为，通过评估五个模型发现不同语言的令牌消耗有显著差异。分析代理轨迹结构与内容，揭示其在不熟悉语言中的行为特点，指出按语言的令牌效率对多语言代理基准测试和开发有指导意义。

HELIOS: An LLM-Driven Autonomous Indirect Trajectory Optimization Agent

HELIOS：一个由大语言模型驱动的自主间接轨迹优化智能体

An-yi Huang

专题命中 软件智能体 ：agent(title,abstract)；分类 cs.AI

AI总结 研究低推力轨迹优化面临的问题，提出基于大语言模型的HELIOS智能体，能自主进行PMP符号推导等。其创新包括约束自适应推导框架等，实验表明可解决多种轨迹优化问题，验证了模型无关架构及模型规模与推导能力的正相关。

Developer Experience with AI Coding Agents: HTTP Behavioral Signatures in Documentation Portals

与AI代码代理的开发者体验：文档门户中的HTTP行为签名

Oleksii Borysenko

专题命中 软件智能体 ：agent(abstract,abstract_cn)；AI agent(abstract)；分类 cs.SE

AI总结 本文研究AI代码代理对技术文档访问的影响，发现HTTP行为特征在文档门户中具有可识别性，提出改进开发者文档设计和反馈机制的实践方案。

Comments 9 pages, 2 figures

Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair

循环并非可靠性保障：智能代码修复的状态约束证据与类型化修订契约

Xueping Gao, Jianwei Yang, Qiang Yang

机构 * Alibaba Cloud（阿里云） 纠错

专题命中 软件智能体 ：agentic(title)；分类 cs.AI、cs.CL

AI总结 研究编码智能体中生成-测试-修订循环的可靠性问题，通过实验揭示相关差距及问题，提出证据约束的类型化循环契约并实例化其可机械执行子集，实现规范与工件，非证明修复能力提升等。

Comments 11 pages, 4 figures, 6 tables

DarkAgents

DarkAgents：利用大语言模型和确定性测试代码构建理论天体粒子物理研究的协同管道

Michele Lucente, Silvia Pascoli, Filippo Sala, Matteo Zandi

专题命中 软件智能体 ：agent(abstract)；agentic(abstract)；multi-agent(abstract)

AI总结 DarkAgents利用大语言模型和确定性测试代码构建理论天体粒子物理研究的协同管道，解决模型构建、复杂计算和假设审计等挑战，提供参数拟合、约束条件及假设审计报告。

Comments 12 pages, 2 figures, code at https://github.com/PhysicsZandi/DarkAgents

Execution-Grounded Security Testing for Coding Agents in Software Engineering Pipelines

软件工程流水线中编码代理的基于执行的安全测试

Yifei Ge, Weisong Sun, Jinkun Xiao, Yuchen Chen, Yebo Feng, Peizhuo Lv, Xia Feng, Chunrong Fang, Zhihong Zhao, Zhenyu Chen, Yang Liu

机构 * Nanjing University（南京大学） ； Nanyang Technological University（南洋理工大学） ； Hainan University（海南大学） 纠错

专题命中 软件智能体 ：agent(abstract)；tool use(abstract)；分类 cs.AI、cs.SE

AI总结 研究针对软件工程流水线中编码代理的安全问题，提出基于执行的红队测试框架，利用沙盒证据探测安全边界，将不安全操作嵌入工作负载并借助执行预言机优化，通过实验大幅增加不安全执行验证率，凸显编码代理需更强安全测试。

Comments Preprint. 12 pages, 6 figures

Skillware: A Software Ontology and Engineering Lifecycle for Persistent Behavioral Artifacts

Skillware：用于持久行为工件的软件本体与工程生命周期

Haodi Fan, Zucong Lan

专题命中 软件智能体 ：agent(abstract)；AI agent(abstract)；分类 cs.AI、cs.SE

AI总结 研究针对智能体技能成为持久行为工件却缺乏相关软件本体的问题，引入Skillware，通过Skill Artifact和Skillware Unit管理工件，阐述相关条件与证据，为智能体能力提供可识别、可组合、可维护及可演化的软件本体与工程生命周期。

Comments 26 pages, 6 figures, 5 tables

PRAXIS: Integrating Program Analysis with Observability for Root-Cause Analysis

PRAXIS：将程序分析与可观测性集成用于根本原因分析

Shengkun Cui, Rahul Krishna, Saurabh Jha, Ravishankar K. Iyer

机构 * University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； IBM Research（IBM研究院） 纠错

专题命中 软件智能体 ：workflow(abstract)；agentic(abstract)；分类 cs.AI、cs.SE

AI总结 PRAXIS通过整合程序分析与可观测性，提升云故障根本原因分析的准确性，减少token消耗，适用于真实世界故障场景。

Comments 15 pages. Accepted to appear in The 56th Annual IEEE/IFIP International Conference on Dependable Systems and Networks

StateAct: Program State, before Pixels, for Long-Horizon Computer-Use Agents

StateAct：在像素之前的程序状态，用于长期计算机使用代理

Yan Yang, Xiangru Jian, Ziyang Luo, Zirui Zhao, Yutong Dai, Ziji Shi, Hanshu Yan, Jun Hao Liew, Silvio Savarese, Junnan Li

专题命中 软件智能体 ：agent(abstract)；multi-agent(abstract)；分类 cs.SE

AI总结 研究针对计算机使用代理，提出基于程序状态的StateAct多代理框架，主要代理用代码处理状态，GUI子代理辅助，支持验证，在OSWorld 2.0上提升了Claude Opus 4.8的成功率，且成本降低，实现从感知到推理的瓶颈转移。