代码大模型 / AI 编程

Enforcing Access Control in Distributed Version Control Systems

在分布式版本控制系统中实施访问控制

Xin Xu, Quanwei Cai, Jingqiang Lin, Shiran Pan, Liangqin Ren

专题命中 仓库级理解 ：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

第一变分公式与奥斯特罗格拉德斯基形式主义

Drew Watson, Matthew Pontius, Charles Torre

专题命中 仓库级理解 ：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旅行商问题与已验证的有限最优解

Maurizio Falconi

专题命中 仓库级理解 ：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教育的易理解量子计算入门

Jaimie A. Greasley, Thomas E. Baker

专题命中 仓库级理解 ：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进行并行自适应多物理场模拟的多求解器耦合

Vivienne Ehlert, Gregor Gassner, Martin Kronbichler, Hendrik Ranocha, Michael Schlottke-Lakemper

专题命中 仓库级理解 ：repository(abstract)

AI总结 该研究利用Trixi.jl和deal.II开发了用于耦合多物理场问题数值模拟的跨语言框架原型，通过开发牛顿自引力气体动力学求解器展示其可用性，验证了收敛性等，还研究了并行扩展性，提供了可重现存储库。

EFT-Ramses: a code to simulate the effective field theory of dark energy

EFT-Ramses：一个用于模拟暗能量有效场论的代码

Nathaniel Ota Woodcock, Sownak Bose, Yunhao Gao, Baojiu Li

专题命中 仓库级理解 ：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

通过物质能动性视角实现可解释人工智能：利用神经音频模型实现音乐界面设计

Shuoyang Jasper Zheng, Anna Xambó Sedó, Nick Bryan-Kinns

专题命中 仓库级理解 ：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

利用廉价实验室工具开展射频系统实践课程

B. Joel Gonzalez, Tom J. Zajdel, L. Richard Carley

专题命中 仓库级理解 ：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中的欧几里得距离度

William Huang, Jose Israel Rodriguez

专题命中 仓库级理解 ：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：基于离散时间控制障碍函数的扩散驱动安全模型预测控制

Erdi Sayar, Ersin Daş, Joel W. Burdick, Alois Knoll, Erdal Kayacan

机构 * Paderborn University（帕德博恩大学） ； Illinois Institute of Technology（伊利诺伊理工学院） ； California Institute of Technology（加州理工学院） ； Technical University of Munich（慕尼黑工业大学） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 研究针对扩散模型用于机器人规划时无法保证安全和动态约束的问题，提出D-SafeMPC方法，通过控制障碍函数等引导扩散过程，结合迭代投影方案，经实验验证该方法能提升安全性、任务成功率和规划效率。

Computable Ergodic Optimisation

可计算遍历优化

Léo Gayral, Mathieu Hoyrup

专题命中 仓库级理解 ：repository(abstract)

AI总结 研究零温度遍历优化中可计算势的最大遍历平均及最大化测度集，在合理假设下证明其为可计算实数与$\Pi_1$可计算紧集，在符号动力学有限型子转移背景下给出有限时间计算两者的显式算法及代码库。

STEAM: Stable Self-Training with Elastic Matching and Adaptive Purification

STEAM：基于弹性匹配和自适应净化的稳定自训练

Shaoxiang Wang, Kejia Zhang, Haiwei Pan, Lan Zhang

机构 * heu（哈尔滨工程大学） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 跨视角地理定位中现有监督和无监督方法有局限，本文提出STEAM框架，通过稳定空间感知模块、弹性匹配和自适应净化进行自训练，在相关基准测试中性能达最优，验证了该框架在无监督跨视角地理定位中的有效性和优越性。

EVIS: A Physics-Grounded Event Camera Plugin for NVIDIA Isaac Sim

EVIS：用于NVIDIA Isaac Sim的基于物理的事件相机插件

Linli Shi, Ruijun Zhang, Ziyun Wang

机构 * 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方法在非结构化网格上对稀薄气体流动进行并行模拟

Tao Huang, Liyan Luo, Hong Deng, Lei Wu

专题命中 仓库级理解 ：repository(abstract)

AI总结 研究针对DSMC在近连续介质区域计算成本高的问题，开发并行DIG增强的DSMC求解器用于非结构化网格三维稀薄气体流动模拟，通过构建耦合框架、采用混合架构和负载平衡策略，减少计算资源需求，提供高效数值工具。

Beware of Agentic Botnets: Scalable Untargeted Promptware Attacks via Universal and Transferable Adversarial HalluSquatting

警惕智能体僵尸网络：通过通用且可转移的对抗性幻觉蹲点进行可扩展的无目标提示软件攻击

Aya Spira, Stav Cohen, Elad Feldman, Ron Bitton, Avishai Wool, Ben Nassi

专题命中 仓库级理解 ：repository(abstract)

AI总结 研究针对实际威胁模型中无直接渠道时攻击者能否利用LLM应用的问题，提出对抗性幻觉蹲点技术，通过识别热门资源计算幻觉分布抢先注册对抗性提示，利用幻觉特性扩大无目标提示软件攻击范围并建立僵尸网络，实验证明该技术可行性及幻觉可转移性。

Comments Website: https://sites.google.com/view/agentic-botnets/home

XRFormer: Multiscale Tokenization for XRF Representation Learning

XRFormer：用于X射线荧光光谱表示学习的多尺度令牌化

Sofiane Daimellah, Sylvie Le Hégarat-Mascle, Clotilde Boust

机构 * Centre de Recherche et de Restauration des Musées de France（法国国家博物馆研究与修复中心） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 研究针对X射线荧光光谱自动学习难的问题，提出XRFormer架构，通过多尺度卷积令牌器定制，结合自监督预训练方法，在颜料识别和分解任务中表现出色，凸显多尺度令牌化在数据有限时对基于变压器的XRF建模的有效性和高效性。

Comments International Conference on Pattern Recognition, 2026

Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean

物理推理公理：在Lean中编码塞伯格 - 维滕解

Michael R. Douglas

专题命中 仓库级理解 ：repository(abstract)

AI总结 研究利用交互式定理证明器验证物理论证，通过假定物理假设清单，经机器可验证证明得出结果，以Lean 4形式化${N}=2$ $SU(2)$超杨 - 米尔斯的塞伯格 - 维滕解，为验证理论物理中AI生成结果提供合理标准。

Comments 18 pages; companion github repo mrdouglasny/seiberg-witten

Comparing the Performance of Leading VQE Algorithms for Computing Ground-State Energies of Amino Acids

比较用于计算氨基酸基态能量的领先变分量子本征求解器算法的性能

Sanskriti Shindadkar, Clyde Villacrusis, Jasper Andrews, Brandon Yan

专题命中 仓库级理解 ：repository(abstract)

AI总结 研究通过整合含多种量子计算方法基准的库，应用于模拟氨基酸，从多方面比较不同算法性能，包括噪声抗性、贫瘠高原相关可训练性、自适应与固定量子近似优化对比及精度与表达能力映射。

Comments 15 pages, 17 Figures Code contributions and significant writing and editing contributions by Sanskriti Shindadkar, Clyde Villacrusis, Jasper Andrews Code contributions by Brandon Yan

A Distributed Quantum Approximate Optimization Algorithm Simulator for Engineering Design Optimization

面向工程设计优化的分布式量子近似优化算法模拟器

Ali Rajabi, Milad Hasanzadeh, Amin Kargarian

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出一个兼容Qiskit的分布式量子近似优化算法模拟器，用于解决工程设计中的QUBO问题，支持单QPU和分布式多QPU执行模式，并包含运行时优化和图形界面。

Comments 37 pages, 7 figures, 5 tables

EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research

EconCSLib: 人工智能辅助的经济学与计算研究Lean形式化

Nikhil Garg

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出EconCSLib，一个基于Lean 4的库和工作流，利用语言模型辅助形式化经济学与计算领域的研究论文，通过人-AI-Lean协作流程实现论文声明到形式化语句的翻译与验证。

Comments Accepted to EC'26 Workshop on AI-Driven Research in EconCS (AI-EconCS '26)

Open Science in Astrophysics: Citation Benefits of Open Code, Open Data, and Open Access

天体物理学中的开放科学：开放代码、开放数据和开放获取的引用优势

Parth Joshi, Rupert Croft

专题命中 仓库级理解 ：repository(abstract)

AI总结 基于5.3万篇论文，通过多元回归分析发现开放数据、开放获取和开放代码分别带来32%、26%和16%的引用优势，且在不同子领域表现各异。

TMP: Tree-structured Mixed-policy Pruning for Large-scale Image Generation and Editing

TMP：面向大规模图像生成与编辑的树结构混合策略剪枝

Peizhen Zhang, Yang Li, Xunsong Li, Songtao Liu, Zewen Liu, Qiangqiang Hu, Guotong Guo, Jupeng Ding, Yifu Sun, coopersli, Jian Zhang, Zhao Zhong, Liefeng Bo

机构 * Multimodal Model Department, Tencent（腾讯多模态模型部） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出首个树结构混合策略剪枝框架TMP，适用于文本到图像和文本引导图像到图像任务及MoE/DiT架构，以75%压缩比将HunyuanImage 3.0从80B降至20B参数，并在单张4090 GPU上推理。

Comments 10 pages, 3 figures, 3 tables, tech report

The Line Emission Terahertz Observatory (LETO): Exploring the lifecycle of the ISM and the origins of water

谱线发射太赫兹天文台（LETO）：探索星际介质的生命周期和水的起源

Dimitra Rigopoulou, Peter Roelfsema, William Grainger, Chris Pearson, Boon-Kok Tan, Wouter Laauwen, Andrey Baryshev, Vincent Desmaris, Ismael Garcia-Bernete, Javier R. Goicoechea, Leslie Hunt, Georgios Magdis, Miguel Pereira-Santaella, Kamber Schwarz, Bryan Shaugnessy, Martina Wiedner

专题命中 仓库级理解 ：repository(abstract)

AI总结 LETO通过高分辨率光谱巡天，研究星际介质对恒星形成的影响、气体云转化为恒星和行星系统的过程，以及水在星际介质中的流动。

Comments 9 pages, 6 figures, to appear in SPIE Astronomical Telescopes & Instrumentation Proceedings

The Morality Game: An online multiplayer platform to standardize, expedite, and expand research on cooperation

道德游戏：一个标准化、加速和扩展合作研究的在线多人平台

Gregory N. Stanley, Alan Yang, Liam Tsimhoni, Roujia Wang, Ekdatha Arramreddy, Rohan Desai, Shulin Pan, Michael Ahn, Vijairam G. Moorthy, William Mathias, Mai Xu, James Kessler, Yahan Xing, Yang Li, Duoming Bian

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出道德游戏平台，通过基于博弈论的实验标准化和加速合作与道德研究，支持零编码配置实验、自动数据收集与分析，促进结果比较和可重复性。

Comments 28 pages, 4 figures. Platform available at https://moralitygame.com

Unified Position-Invariant Random Access Through Two Compression Layers via Absolute-Offset Coordinates: A Bit-Perfect Device-Resident Proof

统一位置不变随机访问通过两个压缩层基于绝对偏移坐标：一个比特完美的设备驻留证明

Yakiv Shavidze

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出ACEAPEX格式，通过绝对偏移坐标实现熵层和匹配层的统一位置不变随机访问，单坐标即可比特完美解码任意块，验证表明16KB块寻址仅需0.334ms。

Comments 5 pages, 3 tables. Code and harness at https://github.com/yasha1971-coder/aceapex

Enforcing Human-like Kinematics in Dexterous Piano Playing via Adversarial Posture Regularization

通过对抗姿态正则化在灵巧钢琴演奏中强制执行类人运动学

Bin Qiu, Yanming Shao, Guanyu Cai, Yao Mu

机构 * Shanghai Jiao Tong University（上海交通大学） ； The University of Hong Kong（香港大学） ； Shanghai AI Laboratory（上海人工智能实验室） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出对抗姿态正则化（APR）方法，利用少量非对齐的人类演奏数据，通过对抗目标匹配策略姿态分布与人类先验，使高自由度灵巧手在物理仿真中弹钢琴时呈现更自然的姿势。

ShotcreteDepth: A Bi-modal Dataset for Robust Robotic Depth Perception in Shotcrete Construction Environments

ShotcreteDepth：用于喷射混凝土施工环境中鲁棒机器人深度感知的双模态数据集

Jakub Gregorek, Lars Arnold Dethlefsen, Patrick Schmidt, Mads Essenbæk, Jonas Flink Bentzen, Lazaros Nalpantidis

机构 * Technical University of Denmark, Department of Electrical and Photonics Engineering（丹麦技术大学电气与光子工程系） ； Pioneer Centre for AI（人工智能先锋中心） ； Christiansen & Essenbæk A/S（Christiansen & Essenbæk 公司） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 针对喷射混凝土施工环境中的感知挑战，提出双模态数据集ShotcreteDepth，包含立体RGB图像和LiDAR点云，并附带轻量级标注工具，支持立体匹配、深度补全和深度估计研究。

Fidelity- and Perception-Aware Local Implicit Attention for Arbitrary-Scale Image Super-Resolution

保真度与感知感知的局部隐式注意力用于任意尺度图像超分辨率

Yu-Syuan Xu, Hao-Lun Sun, Hao-Wei Chen, Hsien-Kai Kuo, Chun-Yi Lee

机构 * National Taiwan University（国立台湾大学） ； MediaTek Inc.（联发科技股份有限公司） 纠错

专题命中 仓库级理解 ：repository(abstract)

AI总结 提出FPLIA框架，通过融合保真度导向特征与扩散管道，结合FPAM和FPSM模块，在任意尺度超分辨率中实现高感知真实度与重建精度。

Comments ECCV 2026

Explicit Formula for Inverse and Determinant in Geometric Algebras over Odd-dimensional Vector Spaces

奇数维向量空间上几何代数中逆与行列式的显式公式

K. S. Abdulkhaev, D. S. Shirokov

专题命中 仓库级理解 ：repository(abstract)

AI总结 针对7维向量空间的几何代数，通过推广共轭概念为基共轭运算，推导出逆和行列式的显式公式，并开发从已知偶数维情况构造奇数维公式的通用方法。

Comments 21 pages

Easy Reads: A Python program for making Scientific Papers on arXiv more Reader Friendly and Accessible

Easy Reads: 一个使arXiv上的科学论文更易读和更易访问的Python程序

Vishal Verma

专题命中 仓库级理解 ：repository(abstract)

AI总结 针对科学论文排版紧凑、可读性差的问题，提出Easy Reads——一个自动化、端到端的开源Python程序，通过自定义字体大小和列数等格式，从arXiv获取论文并重新排版，提升可读性和可访问性。

Comments 9 pages. Open-source software project available at: https://github.com/Curious-flow/Easy-Reads