AI Agent

A hardware-safety-gated system for LLM-written native ARTIQ control code on a trapped-ion platform

基于硬件安全门控的LLM编写原生ARTIQ控制代码系统在离子阱平台上的应用

Duanyang Wang, Lu Qi, Yuanheng Xie, Norbert M. Linke, Kenneth R. Brown

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

AI总结 提出一种硬件安全门控系统，通过令牌授权机制确保LLM代理在离子阱实验中安全自主地编写和执行控制代码，并在实验中验证了其有效性和可移植性。

Comments 15 pages, 5 figures

OmniRobotHome: A Multi-Camera Home Platform for Real-Time Human-Robot Interaction

OmniRobotHome：一个多摄像头平台用于实时多对多人机交互

Junyoung Lee, Inhee Lee, Sookwan Han, Jeonghwan Kim, Kyungwon Cho, Mingi Choi, Lee Chae-Yeon, Wonjung Woo, Gunhee Kim, Jisoo Kim, Jeonghyeon Na, Hanbyul Joo

机构 * Seoul National University（首尔国立大学） ； RLWRLD 纠错

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

AI总结 OmniRobotHome通过多摄像头和双Franka机械臂实现多对多人机协作的实时3D感知与协同动作，解决了近距离交互中的遮挡和状态变化问题，为多对多协作实验提供了可行平台。

Comments Project Page: https://junc0ng.github.io/omnirobothome

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories

通过形式理论的视角解读MLIR中的AI模型编译

Javed Absar

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

AI总结 本文通过形式理论（如项重写系统、精化演算、抽象解释）对应MLIR的匹配-重写引擎、阶段降低和范围分析，论证形式概念有助于明确抽象完备性、理想设计及实际权衡。

Bounds for Standard Errors in Combined Data

组合数据中标准误差的界限

Jooyoung Cha, Yuya Sasaki, Nelson Matthew P. Tan

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

AI总结 提出从不同样本的矩条件估计参数时，标准误差下界的构造方法，利用几何不等式推导无跨样本相关性信息的显式界限，并通过半定规划得到一般情况下的计算可行界限，最后通过三个实证案例展示实用性。

Comments 46 pages, 2 figures

A User-Friendly Python Interface for the Numerical Relativity Code AMSS-NCKU

数值相对论代码AMSS-NCKU的用户友好型Python接口

Chen-Kai Qiao, Yi Zheng, Zhou-Jian Cao

专题命中 软件智能体 ：workflow(abstract)

AI总结 为数值相对论代码AMSS-NCKU开发用户友好的Python接口，实现模拟初始化、执行和输出数据可视化的自动化，降低技术门槛，并通过双黑洞和三黑洞并合示例验证其有效性。

Comments 14 pages, 4 figures, 1 appendix. V2: minor revisions; V3: formulas used to exact gravitational waves were added; V4: modifying some background discussions and figures; V5: published version

Journal ref Astronomy and Computing 55 (2026) 101093

Three Barriers to Kantian Cooperation under Inequality

不平等条件下康德合作的三个障碍

Igor Sloev, Gerasimos Lianos

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

AI总结 本文通过一个两人自愿提供公共品的模型，识别了不平等条件下自愿采纳康德合作的三个障碍：帕累托改进缺失、策略空间参数化的分配冲突以及帕累托前沿上的协调问题。

Towards LLM-Powered Automation of a Dark Matter Constraint Repository

基于大语言模型的暗物质约束库自动化

Lanqing Yuan, Karthik Ramanathan

专题命中 软件智能体 ：agentic(abstract)

AI总结 提出一个LLM流水线，从arXiv论文中提取暗物质约束曲线并生成拉取请求，在基准测试中达到90.5%的耦合类型分类准确率和0.33 dex的中位残差。

Quantum correlations in QBism's reconstruction program

QBism重构程序中的量子关联

Sachin Gupta, Jacques Pienaar

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

AI总结 研究qplex理论中双粒子关联，通过C-向量内积几何形式分析贝尔不等式，发现CHSH情形达到Tsirelson界2√2，而CGLMP不等式允许超量子关联代数最大值4，表明QBist重构需额外原理。

Comments Corrected an error: superquantum violation of I_2233 is approx. 3.1547, not 4 as originally claimed. Minor improvements to Figure and text

CodeSentinel: A Three-Layer Defense Against Indirect Prompt Injection in Code Contexts

CodeSentinel：代码上下文中针对间接提示注入的三层防御

Po-Han Cheng, Chia-Mu Yu, Ying-Dar Lin, Yu-Sung Wu, Wei-Bin Lee

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

AI总结 针对代码大语言模型在检索外部代码时面临的间接提示注入攻击，提出CodeSentinel三层推理时净化器，结合语法引导预过滤、CST引导动态Min-K%评分和节点扰动分析，实现0.80节点级F1，优于现有方法。

When minor issues matter: symmetries, pluralism, and polarization in similarity-based opinion dynamics

当小问题重要时：基于相似性观点动力学中的对称性、多元性与极化

Brian Mintz, Daniel Simonson, Dominik Wodarz, Feng Fu, Natalia L. Komarova

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

AI总结 通过随机主体模型研究议题权重异质性对观点演化的影响，发现极小权重议题可破坏稳定态，增加收敛时间，并基于对称性分类揭示极化与议题重要性分布的关系。

Comments The supplement is provided as a pdf

Evaluating LLM Coding Agents on SZ-Family Lossy Compression Across Architectures

评估LLM编码代理在不同架构上的SZ系列有损压缩

Changqing Li, Shouwei Gao, Kai Zhao, Sheng Di, Wenqian Dong

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

AI总结 评估LLM编码代理在SZ系列有损压缩内核上的表现，发现GPU上强模型性能高但对提示敏感，Cerebras上主要挑战是生成可运行程序，且代理在模块化内核上更有效。

Comments 5 pages, 4 figures. Accepted to IPDPS 2026 HPAI4S Workshop

On the number of symmetric chain decompositions of the minuscule lattices $L(m,n)$ and $M(n)$

关于极小格 $L(m,n)$ 和 $M(n)$ 的对称链分解的数量

Robert Dorward

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

AI总结 研究极小格 $L(m,n)$ 和 $M(n)$ 的对称链分解计数，给出 $L(2,n)$ 的显式公式，并猜想 $\#SCD(L(m,n))$ 和 $\#SCD(M(n))$ 超指数增长，与晶体基和Lusztig对合等建立联系。

Comments 27 pages, 6 figures. In preparation for submission. Comments welcome

Beyond Resilience -- A Conceptual Framework for Civic Ascent

超越韧性——公民提升的概念框架

Alexandros Washburn, Carlo Lipizzi

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

AI总结 提出“公民提升”概念，定义城市从冲击中恢复后功能容量提升的状态，并构建基于拓扑、制度和判断三个慢变量及一个快情感通道的概念框架。

SG2Loc: Sequential Visual Localization on 3D Scene Graphs

SG2Loc: 基于3D场景图的顺序视觉定位

Nicole Damblon, Olga Vysotska, Federico Tombari, Marc Pollefeys, Daniel Barath

机构 * ETH Zurich（苏黎世联邦理工学院） ； Google（谷歌） ； TU Munich（慕尼黑工业大学） ； Microsoft（微软） 纠错

专题命中 软件智能体 ：autonomous agent(abstract)

AI总结 提出一种轻量级顺序视觉定位方法，利用紧凑的3D场景图表示环境，通过粒子滤波和语义匹配实现高效定位，显著降低存储需求。

Comments The code will be available at https://github.com/DmblnNicole/sg2loc

Bilinear gating of motor primitives: a principle linking dendritic computation to rapid goal-directed adaptation

运动基元的双线性门控：连接树突计算与快速目标导向适应的原理

Cristiano Capone, Luca Falorsi, Andrea Ciardiello, Luca Manneschi

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

AI总结 研究发现猕猴运动皮层神经元的爆发比例编码目标信息，提出双线性门控机制解释其来源，并展示该机制支持零样本泛化和快速适应。

Claude Code-Driving Scenario Mining for the Argoverse 2 Challenge

Claude Code驱动的Argoverse 2挑战赛场景挖掘

Wei Deng, Caoshengzhe Xue, Shuaikun Liu, Zhaohong Liu, Mengshi Qi, Huadong Ma

机构 * Beijing University of Posts and Telecommunications（北京邮电大学） 纠错

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

AI总结 提出四阶段管道：Claude Code自主生成代码、迭代训练集筛选、语义代码审查和场景级验证，用于Argoverse 2场景挖掘挑战。

LongRTL: Graph-Similarity-Guided LLM-driven Long Context RTL Optimization

LongRTL：基于图相似性的LLM驱动的长上下文RTL优化

Yuyang Ye, Che-Kuan Shen, Xiangfei Hu, Yuchen Liu, Shuo Yin, Xufeng Yao, Bei Yu, Tsung-Yi Ho

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

AI总结 提出一种基于图相似性的LLM驱动RTL优化框架，通过分区、优化和重构三个智能体解决长上下文RTL代码的优化问题。

Comments 7 pages, 6 figures, 5 tables, conference

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation

GCD: 乱码、修正、证明——修复并验证Go语言的扩展GCD实现

Linard Arquint

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

AI总结 本文修复了Go标准库中extendedGCD实现的两个偏差，并使用Gobra和Lean进行了形式化验证，证明了正确性和终止性，同时发现AI代理可辅助验证过程。

Latent Reasoning Guidance for Parallel Code Translation

并行代码翻译的潜在推理引导

Tomer Bitan, Erel Kaplan, Roee Bar-Yadin, Lian Ghrayeb, Le Chen, Samyak Jhaveri, Niranjan Hasabnis, Gal Oren

专题命中 软件智能体 ：autonomous agent(abstract)

AI总结 提出一种在测试时使用过程奖励模型（PRM）对连续潜在前缀进行评分，以在最终代码解码前选择替代隐藏状态轨迹的方法，从而提升并行代码翻译的成功率。

Multi-Qubit Dyadic Phase Fixing for Fault-Tolerant Quantum Compilation

用于容错量子编译的多量子比特二元相位固定

Justin Kalloor, Mathias Weiden, Ed Younis, John Kubiatowicz, Costin Iancu

专题命中 软件智能体 ：workflow(abstract)

AI总结 提出一种名为二元相位固定（DPF）的多量子比特合成工具，通过数值酉合成贪婪提取二元角度旋转，结合决策矩阵自动调整相位梯度寄存器大小，在多种基准测试中实现T计数减少高达70%，并降低表面码架构中的时空体积。

A Virtual Processor brings back the Free Lunch

虚拟处理器重现免费午餐

Haymo Kutschbach

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

AI总结 提出一种自优化的虚拟处理器，通过去中心化的协作执行段网络，在运行时自动并行化数值数组程序，无需开发者手动设计并行策略。

Comments 10 pages + appendix (3 pages), 7 figures, 4 benchmarks at https://github.com/hokb/decentralized-array-execution-artifacts2026 (GitHub) or https://doi.org/10.5281/zenodo.20407801 (DOI Zenodo)

When Firms Learn to Game the Rules

当企业学会钻规则空子

Xufeng He

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

AI总结 本文通过基于智能体的强化学习仿真，研究可计算规则如何影响企业围绕法律边界的策略行为，并评估反博弈设计的效果。

Comments Includes synthetic simulation data, source code, figures, and reproducibility materials

Using learning to control artificial avatars in human motor coordination tasks

利用学习控制人工虚拟形象在人类运动协调任务中的应用

Maria Lombardi, Davide Liuzza, Mario di Bernardo

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

AI总结 本文提出了一种基于马尔可夫链的新方法，赋予虚拟代理以人类运动特性，以实现与目标个体的运动协调，并通过强化学习控制架构合成能够模仿特定人类完成联合运动任务的虚拟代理。

Comments 16 pages, 13 figures

Distributed Stochastic Model Predictive Control for Large-Scale Linear Systems with Private and Common Uncertainty Sources

分布式随机模型预测控制用于具有私有和共同不确定性的大型线性系统

V. Rostampour, T. Keviczky

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

AI总结 本文提出了一种分布式随机模型预测控制方法，用于具有私有和共同不确定性的大型线性系统。通过场景方法，集中式SMPC在每个采样时间都需解决大规模有限时间 horizon 的场景优化问题，这通常计算上很耗时。本文提出两种新方法：首先开发一种将大规模场景程序分解为分布式场景程序的技术，通过交换一定数量的场景来计算局部决策，使用交替方向乘子法（ADMM）；其次开发一种基于参数集技术的软通信方案，以减少子问题间的通信需求。通过两种不同系统的仿真研究，展示了所提框架的优势。

Parameter Optimization in Control Software using Statistical Fault Localization Techniques

使用统计故障定位技术优化控制软件的参数

Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu

专题命中 软件智能体 ：workflow(abstract)

AI总结 本文提出基于二元相似性系数和谱方法的统计参数故障定位方法，用于识别控制软件中影响性能的关键参数，通过仿真工作流在汽车控制系统中验证了该方法的有效性。

Designing Real-Time Prices to Reduce Load Variability with HVAC

设计实时价格以减少HVAC的负载波动

John Audie Cabrera, Yonatan Mintz, Jhoanna Rhodette Pedrasa, Anil Aswani

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

AI总结 本文通过主从框架设计PP和RP电价，解决因消费者舒适度差异导致的逆向选择问题，通过混合整数规划求解随机双层程序，比较不同定价方案对峰值负载和负载波动的减缓效果。

Opinion dynamics in social networks with stubborn agents: an issue-based perspective

社会网络中固执代理的意见动态：基于议题的视角

Ye Tian, Long Wang

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

AI总结 本文研究了社会网络中固执代理在议题序列上的意见共识，分析了网络拓扑和系统矩阵对F-J模型收敛性的条件，并探讨了固执代理在议题序列中的意见达成机制。

Simple wealth distribution model causing inequality-induced crisis without external shocks

简单财富分配模型导致不平等引发的危机而无需外部冲击

Henri Benisty

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

AI总结 本文提出一个简单模型，通过少数主体积累大量财富引发危机，无需外部冲击，揭示了不平等与经济危机的关系。

Comments 15 pages, 11 figures. Work initiated from discussion on Aristotle's status revisited by Paul Jorion in the many cases where the law of supply and demand fails. Accepted for publication in Physical Review E on April 19, 2017

Journal ref Phys. Rev. E 95, 052307 (2017)

Coordinated Optimization at a Hydro Generating Plant by Software Agents

通过软件代理协调水电站的优化

James Christopher Foreman, Rammohan K. Ragade

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

AI总结 本文提出一种架构，将软件代理集成到水电站控制系统中，通过规则系统实现优化，提升发电功率，并协调多个水电站单元。

Journal ref IEEE Transactions on Control Systems Technology 17.1 (2009): 89-97

Formation Control with Triangulated Laman Graphs

基于三角化Laman图的编队控制

Xudong Chen, M. -A. Belabbas, Tamer Basar

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

AI总结 本文研究了基于三角化Laman图的编队控制问题，提出了一种控制方法，使得所有稳定平衡点均为目标配置，解决了编队控制中稳定平衡点问题。