Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters
Defeater Cards: 表征和管理安全保证案例的击败者
专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE
AI总结 提出Defeater Cards结构化文档，基于5W1H框架系统表征、推理和管理安全案例中的击败者，通过跨领域案例研究验证其暴露隐藏假设、发现推理缺口和支持持续演化的能力。
AI 大模型
代码大模型 / AI 编程
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
1. 仓库级理解 178 篇
An Effective Router for Vision-Language Model Selection
一种有效的视觉-语言模型选择路由器
机构 * Harbin Institute of Technology（哈尔滨工业大学） ； Shandong Key Laboratory of Digital Service Computing Technology and Systems（山东省数字服务计算技术与系统重点实验室）
专题命中 仓库级理解 ：repository(abstract)；分类 cs.AI
AI总结 针对视觉-语言模型（VLM）选择中数据缺乏、特征表示无效和模型空间僵化的问题，提出ARMS路由器，通过增强输入信号和扩展训练策略，在分布内和分布外测试集上表现优异，仅800M参数即可超越GPT-4o。
LongRTL: Graph-Similarity-Guided LLM-driven Long Context RTL Optimization
LongRTL：基于图相似性的LLM驱动的长上下文RTL优化
专题命中 仓库级理解 ：code generation(abstract)；分类 cs.PL
AI总结 提出一种基于图相似性的LLM驱动RTL优化框架，通过分区、优化和重构三个智能体解决长上下文RTL代码的优化问题。
Comments 7 pages, 6 figures, 5 tables, conference
LLM-Guided Evolution for Medical Decision Pipelines
LLM引导的医疗决策流程进化
机构 * Sber AI Lab（Sber AI实验室） ； AIRI
专题命中 仓库级理解 ：repository(abstract)；分类 cs.CL
AI总结 提出LLM引导的MAP-Elites进化方法，无需微调即可优化医疗决策流程，在分诊、咨询和图像分类任务中超越手工设计基线。
Federated Foundation Models over Vehicular Networks
车辆网络中的联邦基础模型
机构 * University of Waterloo（多伦多大学）
专题命中 仓库级理解 ：repository(abstract)；分类 cs.LG
AI总结 本文提出将多模态多任务联邦基础模型（M3T FedFMs）集成到车辆网络中的愿景，结合基础模型的表达力与联邦学习的隐私保护分布式学习能力，并通过Waymo数据集案例验证其潜力。
Comments 8 pages, 4 figures
A Frozen 12B Beats Frontier Models on Verified Work: 100% Accuracy, 0 Tokens, Bit-Exact, Forever
一个冻结的12B模型在经过验证的任务上超越前沿模型：100%准确率、零token、位精确、永远如此
专题命中 仓库级理解 ：分类 cs.CL、cs.AI、cs.LG；repository(comments)
AI总结 研究提出一种让模型冻结，通过增长持久内存来解决问题的方法。在多个问题族实例上，四种架构得分优异，执行与参数扩展解耦。该方法在开放式推理中也有效，内存选择快，存储规模大，在已验证任务上超越前沿模型。
Comments Industry experience report. 14 pages, 8 figures. Public testbench: https://corbenic-galahad-bench.hf.space; companion repository with SHA-256 provenance manifest: https://github.com/corbenicai/galahad-bench
Model-Informed Joint Material-Structural Optimization of Hard-Magnetic Soft Materials
硬磁软材料的模型驱动联合材料-结构优化
专题命中 仓库级理解 ：repository(abstract,comments)
AI总结 针对硬磁软材料，开发模型驱动框架，将多种关系纳入统一剪切模量框架获多个本构模型，经实验选代表性关系，再用所选模型开发联合材料-结构优化框架，可处理不同设计情况，产生规定变形响应设计并开源实现。
Comments 53 pages, 20 figures, 8 tables; Repository: https://github.com/CEADpx/top_optim
Open at the Edge, Captured at the Center: llama.cpp and the Political Economy of Local AI Inference
边缘开放，中心捕获：llama.cpp 与本地 AI 推理的政治经济学
专题命中 仓库级理解 ：repository(abstract)
AI总结 该研究以 llama.cpp 为对象，分析本地 AI 推理的政治经济动态，发现本地推理拓宽参与度却将控制权向基础设施相关方转移，呼吁政策关注推理基础设施以维持云外 AI 开放性。
Comments 18 pages, 7 figures
Competing-Risk Cure Models: A Five-Axis Systematic Review of Methodological Literature
竞争风险治愈模型：方法学文献的五轴系统综述
专题命中 仓库级理解 ：repository(abstract)
AI总结 本文对26篇竞争风险治愈模型的方法学文献从五个维度进行系统综述，明确模型分类与差异，指出可重复性不足问题，为模型选择与相关研究提供支持。
Comments 34 pages, 2 figures
ChemReporter: A Framework for Curating and Exporting Large-Scale Chemical Datasets for MLIP Training
ChemReporter：用于整理和导出用于MLIP训练的大规模化学数据集的框架
专题命中 仓库级理解 ：repository(abstract)
AI总结 ChemReporter是一款模块化框架，可将异构大规模化学数据集转为统一可查询格式，经处理、查询、导出三个阶段生成MLIP可用训练数据，支持处理超内存规模数据集，已在GitHub和PyPI发布。
Comments 19 pages, 10 figures
An Empirical Study of Output-to-Input Loops for Black-Box Backdoor Detection in Fine-Tuned Open-Weight LLMs
针对微调开源权重大语言模型的黑盒后门检测的输出-输入循环的实证研究
专题命中 仓库级理解 ：repository(abstract)
AI总结 本研究提出self-feeding黑盒测试方法，通过将LLM自身输出反馈为输入检测后门，在6个开源权重LLM上实现高模型级检测精度，仅需文本级查询访问即可作为模型安全的低成本初查手段。
Analytically Consistent Reconstruction of Finite Data Using Padé Sequences
利用帕德序列对有限数据进行解析一致的重构
专题命中 仓库级理解 ：repository(abstract)
AI总结 该研究提出一种基于帕德序列的算法，将弗罗萨尔特双极点作为诊断对象，可从含不确定性的有限数据中重构解析结构，区分真实特征与虚假结构，已通过多种函数和数据集验证，代码存于GitLab。
Comments 25 pages, 7 figures
A Quantum Dynamics Tutorial: Visualising Dynamical Decoupling Sequences on the Bloch Sphere
量子动力学教程：在布洛赫球上可视化动力学去耦序列
专题命中 仓库级理解 ：repository(abstract)
AI总结 本教程从实验视角出发，借助布洛赫球可视化动力学去耦序列的量子动力学，阐明相干时间定义，提供开放脚本以助力新研究者掌握该量子控制工具。
Squarefree numbers in short intervals: explicit and formalized
短区间中的无平方因子数：显式结果与形式化
专题命中 仓库级理解 ：repository(abstract)
AI总结 作者将短区间无平方因子数的相关结果显式化并在Lean 4中形式化，给出了特定参数下的误差界，阐述了指数显式化及形式化的相关工作。
Comments 4 pages
The Trust-Free Aggregation Layer of the Unicity Infrastructure
Unicity基础设施的无信任聚合层
专题命中 仓库级理解 ：repository(abstract)
AI总结 该研究提出Unicity区块链基础设施的无信任聚合层，采用RSMT、Plonky3 STARK工具包等技术，实现无可信设置，达每秒万次插入及毫秒级验证的双重支付防护方案。
Comments 42 pages, 7 figures, 4 tables
Assessing the Benefits of Combining Advanced Deep Learning Techniques for Post-Disaster Building Damage Assessment from UAV Imagery
结合先进深度学习技术的优势，从无人机影像中评估灾后建筑物损毁情况
机构 * KDDI Research, Inc.（KDDI研究所）
专题命中 仓库级理解 ：repository(abstract)
AI总结 本文提出将CV模型与LVLM结合的混合框架，在RescueNet、FloodNet基准上评估，可准确统计灾后建筑物损毁情况，性能优于单独基准模型且仅需少量标注数据，相关资源公开。
Comments Accepted at ECMLPKDD 2026, 31 pages (including appendix), 18 figures
Enforcing Access Control in Distributed Version Control Systems
在分布式版本控制系统中实施访问控制
专题命中 仓库级理解 ：repository(abstract)
AI总结 针对分布式版本控制系统（DVCS）访问控制方案不适配的问题，提出分布式访问控制方案Disac，采用ABE和ABS实现权限控制，可轻松集成到Git客户端。
Comments 6 pages, 2 figures. Author-accepted manuscript
Journal ref 2019 IEEE International Conference on Multimedia and Expo (ICME), pp. 772-777, 2019
The First Variational Formula and the Ostrogradsky Formalism
第一变分公式与奥斯特罗格拉德斯基形式主义
专题命中 仓库级理解 ：repository(abstract)
AI总结 本文推导适合本科生的经典力学中拉格朗日量的奥斯特罗格拉德斯基形式主义，提供实例、习题与应用，配套程序代码可在补充材料及GitHub获取，用于定义力学系统哈密顿形式主义。
Comments Accepted for publication in the American Journal of Physics. 16 pages
Arranging circles of radii 1,2,...,n around a central circle: a Supnick TSP and certified finite optima
将半径为1,2,…,n的圆围绕一个中心圆排列：一个Supnick旅行商问题与已验证的有限最优解
专题命中 仓库级理解 ：repository(abstract)
AI总结 该研究针对半径1到n的圆围绕中心圆排列的优化问题，证明其最优循环顺序为Supnick顺序，验证3≤n≤14的全局最优解，提出R*(n)的渐近形式猜想。
Comments 10 pages, 2 figures; source code and certificate artifacts available at https://github.com/falker47/ringmin
Intro2QC: An Approachable Introduction to Quantum Computing for STEM Education in High Schools
Intro2QC：面向高中STEM教育的易理解量子计算入门
专题命中 仓库级理解 ：repository(abstract)
AI总结 本文介绍了面向高中生的 Intro2QC 量子计算推广 workshop 材料，含在线教程、教案和幻灯片，已向约160名学生开展，旨在以易理解的方式推动高中量子计算教育。
Comments 17 pages, 5 figures
Multi-Solver Coupling for Parallel Adaptive Multi-Physics Simulations with Trixi$.$jl and deal$.$II
使用Trixi.jl和deal.II进行并行自适应多物理场模拟的多求解器耦合
专题命中 仓库级理解 ：repository(abstract)
AI总结 该研究利用Trixi.jl和deal.II开发了用于耦合多物理场问题数值模拟的跨语言框架原型，通过开发牛顿自引力气体动力学求解器展示其可用性，验证了收敛性等，还研究了并行扩展性，提供了可重现存储库。
EFT-Ramses: a code to simulate the effective field theory of dark energy
EFT-Ramses：一个用于模拟暗能量有效场论的代码
专题命中 仓库级理解 ：repository(abstract)
AI总结 为应对宇宙常数理论挑战，探索动态暗能量和修正引力模型，介绍EFT-RAMSES代码，它将暗能量有效场论框架嵌入数值管道，整合多种理论到单一方程，通过N体模拟验证，为暗能量和修正引力精确宇宙学测试提供强大通用计算工具。
Comments 18 pages, 5 figures (2 more in an Appendix), submitted to MNRAS; comments welcome
Explainable AI through the Lens of Material Agency: Enabling Musical Interface Design with Neural Audio Models
通过物质能动性视角实现可解释人工智能：利用神经音频模型实现音乐界面设计
专题命中 仓库级理解 ：repository(abstract)
AI总结 该研究从物质能动性视角探讨可解释人工智能，提出物质可解释性，通过构建资源库案例研究，在音乐界面设计中探索神经音频模型，还给出在艺术实践中探索人工智能为材料的建议，以启发未来面向艺术家的可解释人工智能设计。
Comments Under review for "Explainable AI for the Arts" (N. Bryan-Kinns, Ed.), Springer
Leveraging Inexpensive Lab Tools for Hands-on RF Systems Course
利用廉价实验室工具开展射频系统实践课程
专题命中 仓库级理解 ：repository(abstract)
AI总结 卡内基梅隆大学为电气与计算机工程专业学生开设新课程，利用廉价硬件通过六个实验室练习教授射频系统设计核心概念，最终现场演示波束控制技术，课程成本低且受学生欢迎，资源开源。
Comments 5 pages, 9 figures, to be submitted to the IEEE International Symposium on Circuits and Systems
Euclidean Distance Degrees in Macaulay2
Macaulay2中的欧几里得距离度
专题命中 仓库级理解 ：repository(abstract)
AI总结 介绍用于计算欧几里得距离度的Macaulay2软件包，它有基于子式和余法丛的符号方法及数值代数几何工具实现的数值方法，通过示例展示了其功能。
Comments to appear in Lecture Notes in Computer Science
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（慕尼黑工业大学）
专题命中 仓库级理解 ：repository(abstract)
AI总结 研究针对扩散模型用于机器人规划时无法保证安全和动态约束的问题，提出D-SafeMPC方法，通过控制障碍函数等引导扩散过程，结合迭代投影方案，经实验验证该方法能提升安全性、任务成功率和规划效率。
Computable Ergodic Optimisation
可计算遍历优化
专题命中 仓库级理解 ：repository(abstract)
AI总结 研究零温度遍历优化中可计算势的最大遍历平均及最大化测度集，在合理假设下证明其为可计算实数与$\Pi_1$可计算紧集，在符号动力学有限型子转移背景下给出有限时间计算两者的显式算法及代码库。
STEAM: Stable Self-Training with Elastic Matching and Adaptive Purification
STEAM：基于弹性匹配和自适应净化的稳定自训练
机构 * heu（哈尔滨工程大学）
专题命中 仓库级理解 ：repository(abstract)
AI总结 跨视角地理定位中现有监督和无监督方法有局限，本文提出STEAM框架，通过稳定空间感知模块、弹性匹配和自适应净化进行自训练，在相关基准测试中性能达最优，验证了该框架在无监督跨视角地理定位中的有效性和优越性。
EVIS: A Physics-Grounded Event Camera Plugin for NVIDIA Isaac Sim
EVIS：用于NVIDIA Isaac Sim的基于物理的事件相机插件
机构 * Johns Hopkins University（约翰霍普金斯大学）
专题命中 仓库级理解 ：repository(abstract)
AI总结 研究针对事件相机数据收集难题，提出基于物理的EVIS插件用于NVIDIA Isaac Sim，能在模拟器内生成带标签事件流，通过特定模型和可配置设置实现实时单GPU生成，其流可供预训练网络用于下游任务。
Parallel simulation of rarefied gas flows on unstructured meshes using the DIG-augmented DSMC method
使用DIG增强的DSMC方法在非结构化网格上对稀薄气体流动进行并行模拟
专题命中 仓库级理解 ：repository(abstract)
AI总结 研究针对DSMC在近连续介质区域计算成本高的问题，开发并行DIG增强的DSMC求解器用于非结构化网格三维稀薄气体流动模拟，通过构建耦合框架、采用混合架构和负载平衡策略，减少计算资源需求，提供高效数值工具。
