Game-theoretic Energy Management Strategies With Interacting Agents in Formula 1
博弈论视角下的Formula 1赛车互动能量管理策略
专题命中 软件智能体 ：agent(abstract)
AI总结 本文提出基于博弈论的Formula 1赛车互动能量管理框架，通过双层优化解决智能体间战略互动问题，优化涡流效应利用并减少圈速损失。
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 软件智能体 3270 篇
Cardano's Voltaire Governance: Complete Specification and Research Program
卡尔达诺的伏尔泰治理：完整规范与研究计划
专题命中 软件智能体 ：agent(abstract)
AI总结 研究卡尔达诺的伏尔泰治理系统，给出其机制完整技术规范，涵盖架构、行动类型等；建立治理优化研究议程，含模拟平台设计等，提供初步结果如治理内核，助力推进区块链治理科学。
Reinforcement Learning versus Optimization for Optimal Transmission Switching: A Comparative Study
最优输电切换的强化学习与优化方法比较研究
专题命中 软件智能体 ：agent(abstract)
AI总结 研究最优输电切换问题，比较强化学习框架与基于混合整数线性规划的优化方法，通过在IEEE RTS-96 24节点系统上的案例研究发现，强化学习智能体在低预算下能产生接近最优解，生成可行解速度比优化求解器快两到三个数量级。
D-SafeMPC: Diffusion-Driven Safe Model Predictive Control with Discrete-Time Control Barrier Functions
D-SafeMPC：基于离散时间控制障碍函数的扩散驱动安全模型预测控制
机构 * Paderborn University（帕德博恩大学） ； Illinois Institute of Technology（伊利诺伊理工学院） ； California Institute of Technology（加州理工学院） ； Technical University of Munich（慕尼黑工业大学）
专题命中 软件智能体 ：planning(abstract)
AI总结 研究针对扩散模型用于机器人规划时无法保证安全和动态约束的问题，提出D-SafeMPC方法，通过控制障碍函数等引导扩散过程，结合迭代投影方案，经实验验证该方法能提升安全性、任务成功率和规划效率。
AcadGIS: A Single-Import Python Package for Reproducible, Publication-Ready Academic Maps
AcadGIS：一个用于生成可重现、适合发表的学术地图的单导入Python包
专题命中 软件智能体 ：workflow(abstract)
AI总结 研究针对学术地图制作流程零散的问题，提出AcadGIS这个免费开源Python包，它能在一个命名空间下从高级命令创建面向发表的研究地图，通过三个用例展示其可将常见地图表示为紧凑脚本，解决了可访问性和可重复性问题。
Comments 19 pages, 8 figures, 2 tables, and 6 code listings. AcadGIS v0.2.0: https://github.com/riponcm/AcadGIS/releases/tag/v0.2.0
Mixing visual and textual code
混合视觉与文本代码
专题命中 软件智能体 ：workflow(abstract)
AI总结 本文提出Hybrid ClojureScript，一种混合编程语言，允许开发者结合视觉和文本语法表达领域特定概念，同时保持静态推理和工作流程流畅。
Comments to be published in JFP
Journal ref Journal of Functional Programming, Volume 36 (August 9, 2026) jfp:17766
Rxiv-Maker: an automated template engine for streamlined scientific publications
Rxiv-Maker：一种自动化模板引擎，用于流利的科学出版
专题命中 软件智能体 ：workflow(abstract)
AI总结 Rxiv-Maker通过自动化模板引擎实现科学出版的高效流程，利用Markdown和代码执行生成可更新的出版级PDF文档。
Comments v2: added co-authors R. Carlota and I. Hidalgo-Cenalmor; corrected an author name; updated funding acknowledgements; revised the text for clarity and to emphasise newer features (Word/DOCX export, track-changes via latexdiff, VS Code extension, content-based caching, Mermaid diagram generation, and containerised builds)
Dynamic access pricing control for fair and stable resource sharing
公平稳定资源共享的动态访问定价控制
专题命中 软件智能体 ：autonomous agent(abstract)
AI总结 研究不同价格敏感度用户在动态定价下的共存问题，提出基于非单调价格函数的新动态定价方案，该方案能让各类用户更公平共存，通过研究非线性常微分方程刻画平衡点及吸引域，数值模拟验证了方案有效性。
Comments 41 pages, 7 figures
C-BerryTrans: A C++ code for first-principles calculation of Berry-curvature-driven anomalous Hall and Nernst conductivities
C-BerryTrans：用于贝里曲率驱动反常霍尔和能斯特电导率第一性原理计算的C++代码
专题命中 软件智能体 ：workflow(abstract)
AI总结 研究利用C++代码C-BerryTrans进行贝里曲率驱动的反常霍尔和能斯特电导率第一性原理计算，通过提取数据、评估曲率并并行化处理，在多种铁磁材料上测试，结果与报告数据相符，为相关研究提供有力工具。
Comments arXiv admin note: substantial text overlap with arXiv:2504.00123, arXiv:2505.19280
Observation Quality Matters: Robust Multi-Fisheye Calibration via Failure-Oriented Analysis
观测质量至关重要：通过面向失败的分析实现鲁棒多鱼眼相机校准
机构 * The Hong Kong University of Science and Technology（香港科技大学）
专题命中 软件智能体 ：workflow(abstract)
AI总结 研究多鱼眼相机校准难题，通过面向失败分析发现内参初始化是主因，提出CO - Calib框架，结合鲁棒目标检测器和误差分析引导帧选择器，实验表明该框架提升校准成功率、外参精度及校准稳定性。
Comments 9 pages, 7 figures, 6 tables. Code: https://github.com/HKUST-Aerial-Robotics/CO-Calib
HETERQA: Benchmarking Record Retrieval over Multiple Heterogeneous Sources
HETERQA：多异构源记录检索基准测试
专题命中 软件智能体 ：agentic(abstract)
AI总结 研究新兴系统中多异构源记录检索问题，构建含857个问答对的HETERQA基准，采用答案驱动方式，经多步操作生成，验证基准并评估多种检索器，为异构源记录检索提供有效测试平台。
Comments 20 pages, 10 figures
Antaeus: Hunting Repository-Level Logic Vulnerabilities via Context-Grounded LLM Reasoning
Antaeus: 通过上下文锚定的LLM推理发现仓库级逻辑漏洞
专题命中 软件智能体 ：agentic(abstract)
AI总结 提出Antaeus框架，通过仓库级代码上下文锚定LLM推理，结合函数优先级排序、上下文推理、比较验证和结构化报告，有效检测逻辑漏洞，在28个仓库中检测出15个漏洞，优于基线方法。
Federated Sovereign Transport Protocol (FSTP): Verifiable Coordination Without Disclosure
联邦主权传输协议 (FSTP)：无需披露的可验证协调
专题命中 软件智能体 ：agent(abstract)
AI总结 提出联邦主权传输协议 (FSTP)，通过编译时类型系统强制数据隔离、上下文无关身份模型和基于Blocklace的事件日志，实现无需暴露内部数据的可验证联邦协调。
Comments 26 pages, 4 figures, 3 tables. Reference implementation in Rust (fstp-core). Protocol specification and code to be linked from GitHub release v0.1.0 upon announcement
Code Semantic Zooming
代码语义缩放
专题命中 软件智能体 ：agent(abstract)
AI总结 提出基于伪代码的CodeZoom方法，通过多层语义抽象迭代探索、理解和优化代码，在用户研究中相比Claude Code显著提升代码理解与控制感。
Debugging as Evidence-Driven Reasoning: Visualization Opportunities in Data-Intensive Programming
调试作为证据驱动的推理：数据密集型编程中的可视化机会
专题命中 软件智能体 ：workflow(abstract)
AI总结 通过半结构化访谈揭示数据密集型调试中的三个跨领域挑战，并转化为可视化设计需求，为未来研究奠定基础。
Comments 5 pages, 1 figure, submitted to IEEE VIS conference
A New Angle on Bones: Robust Pose Estimation in X-Ray and Ultrasound
骨骼的新视角：X射线和超声中的鲁棒姿态估计
机构 * Medical Informatics, University of Lübeck（吕贝克大学医学信息学系） ； Institut of Radiology and Nuclear Medicine, University Hospital Schleswig-Holstein（石勒苏益格-荷尔斯泰因大学医院放射学与核医学研究所） ； Paediatric Surgery, University Hospital Schleswig-Holstein（石勒苏益格-荷尔斯泰因大学医院小儿外科） ； EchoScout GmbH
专题命中 软件智能体 ：planning(abstract)
AI总结 提出基于学习的关键点候选和鲁棒线模型（RANSAC、霍夫变换）的自动骨骼姿态估计方法，在儿科骨折和髋关节发育不良评估中达到临床可接受的误差并优于地标方法。
Comments Accepted at MIUA 2026 (oral presentation); Code and annotations for fracture angle assessment in radiographs: https://github.com/multimodallearning/RobustBonePoseEstimation
Decoder Dependence in Surface-Code Threshold Estimation under Digitized Hybrid Continuous-Variable and Discrete Noise
表面码阈值估计中的解码器依赖性：在数字化混合连续变量和离散噪声下的情况
专题命中 软件智能体 ：workflow(abstract)
AI总结 该研究探讨了在数字化混合连续变量和离散噪声下，表面码阈值估计对解码器和估计器的选择依赖性，通过比较不同解码器在LiDMaS+工作流中的性能，揭示了解码器选择对阈值估计结果的影响。
A hardware-safety-gated system for LLM-written native ARTIQ control code on a trapped-ion platform
基于硬件安全门控的LLM编写原生ARTIQ控制代码系统在离子阱平台上的应用
专题命中 软件智能体 ：agent(abstract)
AI总结 提出一种硬件安全门控系统，通过令牌授权机制确保LLM代理在离子阱实验中安全自主地编写和执行控制代码，并在实验中验证了其有效性和可移植性。
Comments 15 pages, 5 figures
OmniRobotHome: A Multi-Camera Home Platform for Real-Time Human-Robot Interaction
OmniRobotHome：一个多摄像头平台用于实时多对多人机交互
机构 * 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模型编译
专题命中 软件智能体 ：agent(abstract)
AI总结 本文通过形式理论（如项重写系统、精化演算、抽象解释）对应MLIR的匹配-重写引擎、阶段降低和范围分析，论证形式概念有助于明确抽象完备性、理想设计及实际权衡。
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总结 提出“公民提升”概念，定义城市从冲击中恢复后功能容量提升的状态，并构建基于拓扑、制度和判断三个慢变量及一个快情感通道的概念框架。
