Reading AI Model Compilation in MLIR Through the Lens of Formal Theories
通过形式理论的视角解读MLIR中的AI模型编译
专题命中 软件智能体 ：agent(abstract)
AI总结 本文通过形式理论（如项重写系统、精化演算、抽象解释）对应MLIR的匹配-重写引擎、阶段降低和范围分析，论证形式概念有助于明确抽象完备性、理想设计及实际权衡。
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 软件智能体 3281 篇
Bounds for Standard Errors in Combined Data
组合数据中标准误差的界限
专题命中 软件智能体 ：agent(abstract)
AI总结 提出从不同样本的矩条件估计参数时，标准误差下界的构造方法，利用几何不等式推导无跨样本相关性信息的显式界限，并通过半定规划得到一般情况下的计算可行界限，最后通过三个实证案例展示实用性。
Comments 46 pages, 2 figures
A User-Friendly Python Interface for the Numerical Relativity Code AMSS-NCKU
数值相对论代码AMSS-NCKU的用户友好型Python接口
专题命中 软件智能体 ：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
不平等条件下康德合作的三个障碍
专题命中 软件智能体 ：agent(abstract)
AI总结 本文通过一个两人自愿提供公共品的模型，识别了不平等条件下自愿采纳康德合作的三个障碍：帕累托改进缺失、策略空间参数化的分配冲突以及帕累托前沿上的协调问题。
Towards LLM-Powered Automation of a Dark Matter Constraint Repository
基于大语言模型的暗物质约束库自动化
专题命中 软件智能体 ：agentic(abstract)
AI总结 提出一个LLM流水线，从arXiv论文中提取暗物质约束曲线并生成拉取请求，在基准测试中达到90.5%的耦合类型分类准确率和0.33 dex的中位残差。
Quantum correlations in QBism's reconstruction program
QBism重构程序中的量子关联
专题命中 软件智能体 ：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：代码上下文中针对间接提示注入的三层防御
专题命中 软件智能体 ：agent(abstract)
AI总结 针对代码大语言模型在检索外部代码时面临的间接提示注入攻击，提出CodeSentinel三层推理时净化器，结合语法引导预过滤、CST引导动态Min-K%评分和节点扰动分析，实现0.80节点级F1，优于现有方法。
When minor issues matter: symmetries, pluralism, and polarization in similarity-based opinion dynamics
当小问题重要时：基于相似性观点动力学中的对称性、多元性与极化
专题命中 软件智能体 ：agent(abstract)
AI总结 通过随机主体模型研究议题权重异质性对观点演化的影响，发现极小权重议题可破坏稳定态，增加收敛时间，并基于对称性分类揭示极化与议题重要性分布的关系。
Comments The supplement is provided as a pdf
Evaluating LLM Coding Agents on SZ-Family Lossy Compression Across Architectures
评估LLM编码代理在不同架构上的SZ系列有损压缩
专题命中 软件智能体 ：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)$ 的对称链分解的数量
专题命中 软件智能体 ：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
超越韧性——公民提升的概念框架
专题命中 软件智能体 ：agent(abstract)
AI总结 提出“公民提升”概念，定义城市从冲击中恢复后功能容量提升的状态，并构建基于拓扑、制度和判断三个慢变量及一个快情感通道的概念框架。
SG2Loc: Sequential Visual Localization on 3D Scene Graphs
SG2Loc: 基于3D场景图的顺序视觉定位
机构 * 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
运动基元的双线性门控：连接树突计算与快速目标导向适应的原理
专题命中 软件智能体 ：agent(abstract)
AI总结 研究发现猕猴运动皮层神经元的爆发比例编码目标信息，提出双线性门控机制解释其来源，并展示该机制支持零样本泛化和快速适应。
Claude Code-Driving Scenario Mining for the Argoverse 2 Challenge
Claude Code驱动的Argoverse 2挑战赛场景挖掘
机构 * 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优化
专题命中 软件智能体 ：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实现
专题命中 软件智能体 ：AI agent(abstract)
AI总结 本文修复了Go标准库中extendedGCD实现的两个偏差，并使用Gobra和Lean进行了形式化验证，证明了正确性和终止性，同时发现AI代理可辅助验证过程。
Multi-Qubit Dyadic Phase Fixing for Fault-Tolerant Quantum Compilation
用于容错量子编译的多量子比特二元相位固定
专题命中 软件智能体 ：workflow(abstract)
AI总结 提出一种名为二元相位固定（DPF）的多量子比特合成工具，通过数值酉合成贪婪提取二元角度旋转，结合决策矩阵自动调整相位梯度寄存器大小，在多种基准测试中实现T计数减少高达70%，并降低表面码架构中的时空体积。
A Virtual Processor brings back the Free Lunch
虚拟处理器重现免费午餐
专题命中 软件智能体 ：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
当企业学会钻规则空子
专题命中 软件智能体 ：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
利用学习控制人工虚拟形象在人类运动协调任务中的应用
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出了一种基于马尔可夫链的新方法，赋予虚拟代理以人类运动特性，以实现与目标个体的运动协调，并通过强化学习控制架构合成能够模仿特定人类完成联合运动任务的虚拟代理。
Comments 16 pages, 13 figures
Distributed Stochastic Model Predictive Control for Large-Scale Linear Systems with Private and Common Uncertainty Sources
分布式随机模型预测控制用于具有私有和共同不确定性的大型线性系统
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出了一种分布式随机模型预测控制方法，用于具有私有和共同不确定性的大型线性系统。通过场景方法，集中式SMPC在每个采样时间都需解决大规模有限时间 horizon 的场景优化问题，这通常计算上很耗时。本文提出两种新方法：首先开发一种将大规模场景程序分解为分布式场景程序的技术，通过交换一定数量的场景来计算局部决策，使用交替方向乘子法（ADMM）；其次开发一种基于参数集技术的软通信方案，以减少子问题间的通信需求。通过两种不同系统的仿真研究，展示了所提框架的优势。
Parameter Optimization in Control Software using Statistical Fault Localization Techniques
使用统计故障定位技术优化控制软件的参数
专题命中 软件智能体 ：workflow(abstract)
AI总结 本文提出基于二元相似性系数和谱方法的统计参数故障定位方法，用于识别控制软件中影响性能的关键参数，通过仿真工作流在汽车控制系统中验证了该方法的有效性。
Designing Real-Time Prices to Reduce Load Variability with HVAC
设计实时价格以减少HVAC的负载波动
专题命中 软件智能体 ：agent(abstract)
AI总结 本文通过主从框架设计PP和RP电价，解决因消费者舒适度差异导致的逆向选择问题，通过混合整数规划求解随机双层程序，比较不同定价方案对峰值负载和负载波动的减缓效果。
Opinion dynamics in social networks with stubborn agents: an issue-based perspective
社会网络中固执代理的意见动态：基于议题的视角
专题命中 软件智能体 ：agent(abstract)
AI总结 本文研究了社会网络中固执代理在议题序列上的意见共识，分析了网络拓扑和系统矩阵对F-J模型收敛性的条件，并探讨了固执代理在议题序列中的意见达成机制。
Simple wealth distribution model causing inequality-induced crisis without external shocks
简单财富分配模型导致不平等引发的危机而无需外部冲击
专题命中 软件智能体 ：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
通过软件代理协调水电站的优化
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出一种架构，将软件代理集成到水电站控制系统中，通过规则系统实现优化，提升发电功率，并协调多个水电站单元。
Journal ref IEEE Transactions on Control Systems Technology 17.1 (2009): 89-97
Formation Control with Triangulated Laman Graphs
基于三角化Laman图的编队控制
专题命中 软件智能体 ：agent(abstract)
AI总结 本文研究了基于三角化Laman图的编队控制问题，提出了一种控制方法，使得所有稳定平衡点均为目标配置，解决了编队控制中稳定平衡点问题。
Distributed Resource Allocation for Epidemic control
分布式资源分配用于流行病控制
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出基于D-ADMM算法的分布式资源分配策略，用于控制网络中流行病爆发。通过线性化SIS模型，考虑节点在感染存在下分配疫苗和治疗药物，并将流行病控制条件转化为涉及Perron-Frobenius特征值的谱约束，以几何规划形式解决资源分配问题。
Comments 8 pages, 6 figures; submitted for publication
ModuLoop : Low-Level Code Generation using Modular Synthesizer and Closed-Loop Debugger for Robotic Control
ModuLoop: 使用模块化合成器和闭环调试器进行机器人控制的低级代码生成
机构 * Department of Mechanical Systems Engineering, Sookmyung Women’s University（苏州市女子大学机械系统工程系）
专题命中 软件智能体 ：planning(abstract)
AI总结 提出闭环模块化代码合成框架，利用预训练大语言模型进行模块化代码规划与生成，并通过迭代执行和调试探针实现系统调试与优化，成功应用于RGB-D相机与机械臂标定及抓取任务。
Comments IEEE Robotics and Automation Letters (2025)
What You Approve Is What Executes: Consent Integrity for Black-Box LLM Agents
你批准即执行：黑盒LLM代理的同意完整性
专题命中 软件智能体 ：agent(abstract)
AI总结 针对黑盒LLM代理的批准对话框存在摘要伪造漏洞，本文引入同意完整性概念，通过可信中介确保人类看到的动作与真实执行的动作一致，并分析了该机制的局限性与权衡。
Comments Preprint. IEEE conference format. Proof-of-concept; artifact at https://github.com/zjnbwxq/agentguard-ci
