Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
基于人类编写本体的可审计且安全的LLM智能体
机构 * Thistleseeds
专题命中 软件智能体 ：agentic(summary_cn,abstract)；agent(abstract)；分类 cs.AI
AI总结 提出Agentic Redux架构，通过类型化λ演算证明其在适当领域上的执行语义正确且决策可审计，并引入本体优先的智能体设计方法。
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 软件智能体 19 篇
Designing a Safe Autonomous Artificial Intelligence Agent based on Human Self-Regulation
基于人类自我调节设计安全的自主人工智能代理
专题命中 软件智能体 ：agent(title,abstract)；AI agent(abstract)；分类 cs.AI
AI总结 本文提出通过研究人类自我调节机制，设计安全的人工智能代理，以避免复杂系统中因目标不明确导致的有害后果。
Comments 17 pages
SePO: Self-Evolving Prompt Agent for System Prompt Optimization
SePO: 用于系统提示优化的自我进化提示智能体
机构 * National University of Singapore（新加坡国立大学） ； City University of Hong Kong（香港城市大学）
专题命中 软件智能体 ：agent(title,abstract)；分类 cs.AI、cs.CL
AI总结 提出SePO方法，通过自我指涉设计让提示智能体同时优化任务智能体和自身的系统提示，采用两阶段进化训练，在多个基准上平均准确率提升4.49%。
Comments 26 pages. Code: https://github.com/taowangcheng/SePO
Deep Learning in (and of) Agent-Based Models: A Prospectus
深度学习在基于主体的模型中的应用：前景展望
专题命中 软件智能体 ：agent(title,abstract)
AI总结 本文探讨了将深度学习应用于经济主体模型以解决经验估计问题，介绍了多层人工神经网络和深度学习在该领域的潜力与贡献。
Trustworthy AI Software Engineers
可信赖的AI软件工程师
专题命中 软件智能体 ：agent(abstract)；AI agent(abstract)；agentic(abstract)；分类 cs.SE
AI总结 本文探讨AI代理作为软件工程师的信任问题，提出以证据为中心的检查方法，从技术质量、透明度、认知谦逊和社会伦理等维度定义可信赖性。
Comments The first three authors contributed equally to this work
Description-Code Inconsistency in Real-world MCP Servers: Measurement, Detection, and Security Implications
现实世界 MCP 服务器中的描述-代码不一致性：测量、检测与安全影响
机构 * University of Science and Technology of China（中国科学技术大学）
专题命中 软件智能体 ：agentic(abstract)；分类 cs.AI、cs.SE
AI总结 针对 MCP 服务器中工具描述与代码实现不一致的问题，提出结合结构感知静态分析与 Direct-Reverse-Arbitration 提示方法的自动检测框架 DCIChecker，并在大规模数据集上揭示 9.93% 的不一致率及其安全风险。
Comments Preprint
SkCC: Portable and Secure Skill Compilation for Cross-Framework LLM Agents
SkCC：面向跨框架LLM代理的可移植且安全的技能编译
机构 * Sun Yat-sen University（中山大学）
专题命中 软件智能体 ：agent(abstract,comments)；分类 cs.AI
AI总结 针对LLM代理技能在不同框架间缺乏可移植性和安全性的问题，提出SkCC编译器，通过强类型中间表示SkIR解耦语义与格式，实现跨框架部署，并内置静态优化器强制执行安全约束，显著提升性能并降低适配复杂度。
Comments Accepted by the Agent Skills Workshop at ACM CAIS 2026. 20 pages, 6 figures. Project Homepage: https://skcc.nexa-lang.com/ Code Repo: https://github.com/Nexa-Language/Skill-Compiler/
Reinforcement Learning from Cross-domain Videos with Video Prediction Model
基于视频预测模型的跨领域视频强化学习
机构 * VU Amsterdam（阿姆斯特丹大学） ； ISAE-SUPAERO
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI
AI总结 提出XIPER奖励模型，通过跨领域视频预测将智能体观测映射到专家域，利用预测似然作为奖励信号，解决视觉差异域中无奖励信号和领域差距问题。
Low rank approximation and decomposition of large matrices using error correcting codes
利用纠错码进行大矩阵的低秩近似与分解
机构 * Department of Computer Science and Engineering, University of Minnesota, Twin Cities（计算机科学与工程系，明尼苏达大学，双城分校） ； Department of Electrical and Computer Engineering, University of Minnesota, Twin Cities（电气与计算机工程系，明尼苏达大学，双城分校）
专题命中 软件智能体 ：tool use(abstract)；分类 cs.LG
AI总结 本文探讨利用纠错码矩阵进行大矩阵低秩近似与分解，提出该方法在低秩近似、线性回归等问题中的优势，包括减少随机性、子空间嵌入性质、并行计算优势等。
Journal ref IEEE Transactions on Information Theory ( Volume: 63, Issue: 9, Sept. 2017 ) Page(s): 5544 - 5558
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
