AI Agent

Man, Machine, and Masterpiece: Artistic Ownership in the AI Era

人、机器与杰作：人工智能时代的艺术所有权

Sofi Gjing Jovanovska, Kuntal Ghosh, Daniel Muhu Njenga, Ahmed Mufassir, Shadan Sadeghian

机构 * University of Siegen（锡根大学） 纠错

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

AI总结 探讨人工智能时代艺术所有权问题，设计ArtSplit原型量化人机贡献，引发艺术家对所有权归属的反应，指出量化与艺术家对创作的理解不符，挑战将其转化为技术问题的冲动。

Journal ref NordiCHI '26 Adjunct: Adjunct Proceedings of the 14th Nordic Conference on Human-Computer Interaction, Vaasa, Finland, October 2026

Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience

大语言模型能否根据论文构建最大可满足性求解器？CoreForge 经验

Ruben Martins

机构 * Carnegie Mellon University（卡内基梅隆大学） 纠错

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

AI总结 该研究利用大语言模型从论文构建无权重 MaxSAT 求解器，采用结合论文讨论、代码实现及审核修订的迭代流程，评估特定配置，发现虽未现错误答案，但性能低于手工设计求解器，总结了相关经验教训。

CityLLM: A framework for natural-language querying of semantic 3D city models

CityLLM：一种用于语义 3D 城市模型自然语言查询的框架

Rabindra Lamsal, Sisi Zlatanova, Johnson Xuesong Shen

机构 * GRID Lab, School of Built Environment, UNSW Sydney（新南威尔士大学悉尼分校建筑环境学院GRID实验室） ； School of Civil and Environmental Engineering, UNSW Sydney（新南威尔士大学悉尼分校土木与环境工程学院） 纠错

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

AI总结 研究针对语义 3D 城市模型访问查询难的问题，提出 CityLLM 框架，结合空间与图形数据库，在基于语言模型工作流中支持迭代查询等。通过多种模型在鹿特丹数据集上评估，多个场景 54 个查询显示其性能强大，为语义 3D 城市数据对话访问提供轻量级可扩展方法。

Comments Accepted to the 21st International 3D GeoInfo Conference. To appear in the ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences

AI-Conducted Interviews in Empirical Software Engineering: An Experience Report

实证软件工程中的人工智能主导访谈：一份经验报告

Rohit Gheyi, Danyllo Albuquerque, Márcio Ribeiro, Mirko Perkusich

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

AI总结 该经验报告探讨定制MyGPT在实证软件工程研究中主导访谈的应用，介绍其流程，分析提交工件和问卷回复，发现多数参与者评价积极，但存在局限，表明人工智能访谈可作补充选项，需相关设计与监督。

Full-data accuracy with fewer labels for training and fine-tuning machine-learning force fields

在训练和微调机器学习力场时使用更少标签实现全数据精度

Sheng Bi, Yi-Ze Wang, Jun Cheng

机构 * College of Materials（材料学院） ； Xiamen University（厦门大学） ； State Key Laboratory of Physical Chemistry of Solid Surfaces（固体表面物理化学国家重点实验室） ； iChEM, College of Chemistry and Chemical Engineering（iChEM，化学与化工学院） ； Laboratory of AI for Electrochemistry (AI4EC)（电化学人工智能实验室） ； IKKEM 纠错

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

AI总结 研究针对机器学习力场构建训练集的瓶颈问题，提出基于最后一层投影回归的主动学习工作流程，能识别高价值训练集，在基础模型微调和迭代电解质微调中表现出色，实现用更少标签达到全数据精度，提供可扩展的不确定性量化策略。

Comments 23 pages, 5 figures

Lecture notes on Machine Learning applications for global fits

机器学习在全局拟合中的应用讲义

Jorge Alda

机构 * Dipartimento di Fisica e Astronomia “Galileo Galilei”, Università degli Studi di Padova and INFN Sezione Padova（帕多瓦大学伽利略·伽利莱物理与天文系及意大利国家核物理研究院帕多瓦分部） ； Centro de Astropartículas y Física de Altas Energías (CAPA)（高能天体物理与高能物理中心（CAPA）） 纠错

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

AI总结 本文介绍了利用现代机器学习方法进行高能物理全局统计拟合的框架，重点包括使用Boosted Decision Trees近似对数似然函数，以及通过SHAP值解释模型参数影响，最终应用于B±→K±νν异常问题。

Comments Lecture notes for the 4th COMCHA School on Computing Challenges in Zaragoza (Spain), 8-15 April 2026. 25 pages, 10 figures, 14 code snippets, 1 appendix. Submission to SciPost Physics Lecture Notes. Fixed minor typos and improved visual presentation of figures

Thoughtseeds as Latent Causes: A Dual-Process Computational Phenomenology of Focused-Attention Meditation

作为潜在原因的思维种子：专注注意力冥想的双过程计算现象学

Prakash Chandra Kavi, Daniel Ari Friedman, Gustavo Patow

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

AI总结 研究专注注意力冥想，提出双过程计算现象学模型，有三层嵌套架构，经变分期望最大化训练，模拟结果再现相关行为，搭建起现象学与神经生理学测量间的联系。

Comments 29 pages including Supplementary section. 10 figures

Dendrite: A Real-Time Python Application for Online Brain-Computer Interface Research and Development

Dendrite：用于在线脑机接口研究与开发的实时Python应用程序

Niko Kroflic, Jan Babič

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

AI总结 研究旨在开发在线脑机接口软件，核心方法是用Python编写Dendrite应用程序，它整合信号采集、解码器训练与实时推理，能同时记录多信号流并并发处理，可重现且开源，为在线BCI范式开发评估提供了系统。

Comments 15 pages, 5 figures

Conversational Tactile Data Interfaces: Co-Designing Accessible Data Experiences with Blind Users Using Refreshable Tactile Displays and Conversational AI

对话式触觉数据接口：使用可刷新触觉显示器和对话式人工智能与盲人用户共同设计无障碍数据体验

Samuel Reinders, Munazza Zaib, Bongshin Lee, Ingrid Zukerman, Matthew Butler, Thien Autran, Sascha Cowley, Francois Jacobs, Lizhen Qu, Kim Marriott

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

AI总结 研究针对盲人或视力低下者数据可视化问题，通过与盲人共同设计师协同设计，创建结合可刷新触觉显示器与对话代理的CTDI（Graphy系统），贡献设计知识与建议，得出分层展示等关键发现。

Comments Accepted to be presented at IEEE VIS 2026 and published in IEEE TVCG

Fully Automated End-to-End Adversary Emulation from MITRE ATT\&CK Based Cyber Threat Intelligence Using LLMs

基于MITRE ATT&CK的网络威胁情报，使用大语言模型实现全自动端到端对手模拟

Jueon Choi, Seojun Lee, Sanggwon Yun, Kwanghoon Choi, Gunjin Cha

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

AI总结 该研究基于MITRE ATT&CK网络威胁情报，利用大语言模型构建全自动端到端对手模拟框架，统一剧本生成、执行与故障恢复流程，经多模型评估，Claude Sonnet 4.5效果最佳，故障恢复机制提升了执行成功率。

Unified Uncertainty Quantification Framework Bridging Noisy Quantum Backends Across Variational Quantum Algorithms and Quantum Signal Processing

统一不确定性量化框架：跨越变分量子算法和量子信号处理中的噪声量子后端

Priyabrata Senapati, Vibin Abraham, Qiang Guan, Bo Peng

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

AI总结 该研究提出统一不确定性量化框架，在同一统计管道下比较NISQ变分量子算法和基于QSVT的格林函数重建两类工作负载，结合多种分析方法，能识别相关特性，为不同工作负载提供通用基准来衡量后端可靠性。

Automated Outlier-Robust Bayesian Profile Fitting for Magnetically Confined Plasmas with Modified Tanh Profiles and Good-and-Bad Gaussian Mixture Likelihoods

用于具有修正双曲正切分布和优劣高斯混合似然的磁约束等离子体的自动离群值稳健贝叶斯分布拟合

Jaewook Kim, Jekil Lee, Laurent Jung, Sang-hee Hahn, Sehyun Kwak

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

AI总结 针对磁约束等离子体自动动力学分布拟合问题，提出基于修正双曲正切分布和优劣高斯混合似然的离群值稳健贝叶斯方法，解决相关障碍，经KSTAR实验验证，为大规模动力学分布生成提供基础。

Comments 16 pages, 8 figures; submitted to Nuclear Fusion

Optimization dynamics of Transformer backflow neural quantum states for the two-dimensional Hubbard model

二维哈伯德模型的Transformer回流神经量子态优化动力学

Zong-Yu Liao, Jia-Qi Wang, Rong-Qiang He, Zhong-Yi Lu

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

AI总结 研究二维哈伯德模型中Transformer回流神经量子态的优化动力学，基于多阶段训练工作流程，通过改变更新范数阈值等超参数，研究其对收敛的影响，确定了实际优化趋势，突出了假设表达能力等方面的平衡。

Comments 11 pages, 4 figures, 1 table

MIRA: a data management and education platform connecting students to robotic telescopes

MIRA：一个将学生与机器人望远镜连接起来的数据管理与教育平台

Peter P. Pedersen, Lionel Garcia, Mahshid Alimi, David Degen, Florian Lienhard, Didier Queloz

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

AI总结 该研究针对天文学教育中扩大学生望远镜操作体验难的问题，设计了MIRA平台，构建观测全生命周期，自动处理数据并提供教程，通过特定方式分离前端与控制，连接课堂与天文台操作，提供真实科研工作流程。

Comments 9 pages, 6 figures, 1 table, proceedings of SPIE Astronomical Telescopes + Instrumentation 2026, 14151-125

momenTUM: A schema-driven platform for designing, deploying, and exploring ecological momentary assessment studies

momenTUM：一个用于设计、部署和探索生态瞬时评估研究的模式驱动平台

Nataliia Petliak, Blen Assefa, Constantin Goeldel, Marco Ma, Anna Biller, Lorna Caddick, Raahat Manrai, Daniel Smith, Duncan Swiffen, Manuel Spitschan

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

AI总结 该研究针对生态瞬时评估研究中现有工作流程分散的问题，提出momenTUM开源平台，以结构化研究规范为核心，集成REDCap，实现多环节功能，支持复杂评估协议，减少技术开销，使EMA工作流程可重复、复用和扩展。

Notes on the bootstrap of four-point conformal integrals

关于四点共形积分的自举法笔记

Xuhang Jiang

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

AI总结 研究位置空间中四点共形积分，利用主导奇点等建立自举工作流程，适用于三圈情况，在四圈情况中通过积分分解得到难以计算的积分，还提供适合人工智能模型的文件包。

Comments 32 pages, 9 figures. citation corrected

Qcombo: A Python Package for Automated Commutator Calculations of Quantum Many-Body Operators

Qcombo：一个用于量子多体算符交换子自动计算的Python包

L. H. Chen, Y. Li, H. Hergert, J. M. Yao

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

AI总结 Qcombo通过符号计算实现量子多体算符交换子的自动化计算，减少人工误差，应用于核物理和量子化学等领域。

Comments 17 pages with 1 figure

Long-Term Average Impulse Control with Mean Field Interactions

长期平均冲击控制与均场交互

K. L. Helmes, R. H. Stockbridge, C. Zhu

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

AI总结 本文研究了具有均场交互的长期平均冲击控制问题，通过建立均衡策略和解决均场控制问题，探讨了个体合作实现长期平均利润的方法。

Early Adoption of Agentic Coding Tools by GitHub Projects

GitHub项目对智能编码工具的早期采用

Maliha Noushin Raida, Daqing Hou

机构 * Rochester Institute of Technology（罗切斯特技术学院） 纠错

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

AI总结 研究GitHub项目对智能编码工具的早期采用情况，通过分析大量智能PR，探究采用情况、项目生产力及协作模式，发现多数仓库采用少，小项目参与度高，生产力差异大，人机协作以单人监督为主，为相关管理提供实证依据。

Comments Accepted at the KDD 2026 Workshop on Agentic Software Engineering (SE 3.0)

Democratizing Agent Deployment Safety: A Structural Monitoring Approach

使智能体部署安全民主化：一种结构监测方法

Preeti Ravindra, Rahul Tiwari, Vincent Wolowski

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

AI总结 研究人工智能智能体部署安全问题，引入信息流图（IFG）监测器，通过控制流、数据流图及原始代码差异分析结构安全回归。实验表明，IFG监测器能降低攻击错过率，还可同步作为部署前保障，为组织实现部署安全民主化提供实用途径。

Comments Accepted in ICML 2026 Workshops: AI4GOOD and AIWILD

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control

证明或停止：不要信任代理，信任证据——用于可验证证据门控生命周期控制的循环工程

Jek Huang, Jeffery Hsia, Jiayi Sun, Freddie Shi, Wei Huang, Ian H. White

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

AI总结 研究自主编码代理多步骤软件工作中生命周期状态缺乏证据支持的问题，提出证明或停止生命周期控制方法，经实验评估，该方法能有效控制生命周期转换，支持其作为与模型无关、主机中立的控制层。

Comments 48 pages, 10 figures, 29 numbered tables. Preprint v1

Structured Feedback Improves Repair in an LLM Agent Loop

结构化反馈改进大语言模型智能体循环中的修复

Jaideep Ray, Ankit Goyal

机构 * Independent Researcher（独立研究者） 纠错

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

AI总结 研究大语言模型智能体验证与调用接口问题，提出VeriHarness代码控制智能体循环。通过比较原始诊断与含失败位置等信息的反馈，发现含三个字段反馈能大幅提升成功率，多数增益源于可接受替代方案，JSON语法本身对修复无显著作用。

Doomed from the Start: Early Abort of LLM Agent Episodes via a Recall-Controlled Probe Cascade

从一开始就注定失败：通过召回控制的探测级联实现大语言模型智能体情节的早期终止

Kai Ruan, Zihe Huang, Ziqi Zhou, Qianshan Wei, Jinghao Lin, Xuan Wang, Hao Sun

机构 * Gaoling School of Artificial Intelligence, Renmin University of China（中国人民大学人工智能学院） ； Institute of Computing Technology, Chinese Academy of Sciences（中国科学院计算技术研究所） ； Duke University（杜克大学） ； Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所） ； College of Computer Science, Zhejiang University（浙江大学计算机学院） 纠错

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

AI总结 研究大语言模型智能体多步任务中早期失败预测问题，提出通过召回控制的探测级联方法，能早期预测失败并转化为实用终止级联，在TextCraft模型上达到高召回目标，节省大量推理计算资源，还刻画了样本复杂度。

CAMB v2: cosmological power spectra for high-precision surveys

CAMB v2：用于高精度巡天的宇宙学功率谱

Antony Lewis

专题命中 软件智能体 ：AI agent(summary_cn,abstract)

AI总结 该研究针对即将到来的CMB和大尺度结构巡天需求，对CAMB进行重大更新，通过新处理超球贝塞尔函数等方法，为透镜化CMB和物质功率谱提供快速高精度预测，满足收敛目标，还探讨了相关约定依赖性，新算法和代码由LLMs或AI agents在人类监督下开发。

Comments 25 pages, 4 figures. Code available at https://github.com/cmbant/camb

The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK

验证者即评判者：来自Ada/SPARK中AI编码代理的经过验证的安全软件

Tobias Philipp

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

AI总结 研究人工智能编码代理生成安全软件代码的情况，核心方法是在验证器驱动循环下编写验证，主要贡献是通过GNATprove完成大量证明义务，降低监督成本，同时指出其不足及得出代理受反馈强度限制的教训。

MM-IssueLoc: A Controlled Benchmark for Evaluating Visual Evidence in Multimodal Repository-Level Issue Localization

MM-IssueLoc：用于评估多模态仓库级问题定位中视觉证据的可控基准

Shaoxiong Zhan, Shi Hu, Boyu Feng, Hai Lin, Andrew Gong, Zhengda Zhou, Jiaying Zhou, Yunyun Hou, Hao Su, Hai-Tao Zheng

机构 * Tsinghua University（清华大学） 纠错

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

AI总结 研究针对仓库级问题定位多为文本任务，视觉证据作用不明的情况，引入MM-IssueLoc基准和评估协议，含多语言实例与标注等。评估LLM和检索系统，发现现有系统距可靠多模态定位有差距，该基准让视觉证据成评估变量，助于后续研究。

Are Performance-Optimization Benchmarks Reliably Measuring Coding Agents?

性能优化基准测试是否可靠地衡量编码智能体？

Zhi Chen, Zhensu Sun, Yuling Shi, David Lo, Lingxiao Jiang

机构 * Singapore Management University（新加坡管理大学） ； Shanghai Jiao Tong University（上海交通大学） 纠错

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

AI总结 本研究审计了三个仓库级性能优化基准（GSO、SWE-Perf、SWE-fficiency），发现参考补丁的可复现性差、评分规则导致排名不一致，且多数任务已被公开提交解决，揭示了聚合排名掩盖的性能差距。

Comments 12 pages, 7 figures. Public data: https://github.com/chenzhi-cz/performance-optimization-benchmark-reliability

Setup Complete, Now You Are Compromised: Weaponizing Setup Instructions Against AI Coding Agents

设置完成，现在你已被攻破：利用设置指令攻击人工智能编码代理

Aadesh Bagmar, Pushkar Saraf

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

AI总结 研究人工智能编码代理在安装包时因不验证依赖项而面临的供应链攻击，通过编辑项目设置文档即可发动攻击。对前沿模型在多场景下测试，发现安装安全性取决于工具与模型组合，还存在多种检测问题，提出预安装检查可弥补大部分安全差距。

"Skill Issues'': Data-Centric Optimization of Lakehouse Agents

技能问题：湖仓代理的数据中心优化

Nicole Rose Schneider, Davide Ghilardi, Giacomo Piccinini, Jacopo Tagliabue

机构 * University of Maryland（马里兰大学） ； Università Milano Bicocca（米兰Bicocca大学） ； Bauplan Labs（Bauplan实验室） 纠错

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

AI总结 针对分支湖仓Bauplan上的编码代理，提出数据中心的优化流程，通过生成任务验证器对、在隔离沙箱中执行候选技能并利用追踪信号和程序化检查评分，将准确率提升31.9%。

Comments Pre-print of paper accepted at ADS @ VLDB 2026, Boston

Plover: Steering GUI Agents through Plan-Centric Interaction

Plover：通过以计划为中心的交互来操控图形用户界面代理

Madhumitha Venkatesan, Shicheng Wen, Jiajing Guo, Jorge Piazentin Ono, Liu Ren, Dongyu Liu

机构 * University of California, Davis（加利福尼亚大学戴维斯分校） ； Bosch Research North America（博世北美研究院） 纠错

专题命中 GUI与网页智能体 ：agent(abstract)；autonomous agent(abstract)；planning(abstract)；workflow(abstract)

AI总结 研究针对现实中GUI自动化难题，提出以计划为中心的Plover系统，通过规划器-执行器架构，支持多方式监督与修正，经形成性研究和评估表明，该系统能让GUI自动化更透明、可控与可适应，利于修复故障。