代码大模型 / AI 编程

Do These Violent Delights Have Violent Ends? Measuring the Post-Merge Fate of Agentic Code

这些暴力的愉悦会有暴力的结局吗？衡量代理代码合并后的命运

Chunqiu Steven Xia, Courtney Miller

机构 * University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； George Washington University（乔治华盛顿大学） 纠错

专题命中 仓库级理解 ：repository(abstract)；coding agent(abstract)；分类 cs.SE、cs.AI

AI总结 研究代理代码合并后的命运，通过对182个仓库实证分析，发现其虽与人工维护率相似，但需更高纠正性维护率，还引入更多问题，且维护负担与仓库特征有关，强调评估设计代理工具要兼顾安全性与可维护性。

From Codebases to LLMs: Non-Inclusive Naming in Linux Foundation Repositories

从代码库到语言模型：Linux 基金会存储库中的非包容性命名

Honghao Tan, Md Nafiu Rahman, Shin Hwei Tan

专题命中 仓库级理解 ：code generation(abstract)；repository(abstract)；分类 cs.SE

AI总结 研究利用 NISCAN 框架检测 Linux 基金会存储库中代码及相关工件的非包容性术语，对 461 个存储库进行生态系统规模研究，分析术语变化及影响因素，还通过案例研究评估大语言模型处理情况。

Distributed Denial of Science: How Indirect Data Poisoning of AI Systems Can Industrialize Scientific Fraud

分布式科学否认：人工智能系统的间接数据投毒如何使科学欺诈产业化

Bálint Gyevnár, Atoosa Kasirzadeh, Nihar B. Shah

专题命中 仓库级理解 ：repository(abstract)；分类 cs.AI

AI总结 研究探讨人工智能时代科学欺诈新形式，即间接数据投毒。对手 corrupt 开放数据集上传，使自主研究代理处理后传播欺诈。通过多话题、多系统实验发现投毒成功率高而检测率低。提出科学家角色和数据溯源审计措施，后者可有效降低攻击成功率。

Prompting-MammAlps: Fine-Grained Text-to-Video Retrieval for Camera-Trap Data

Prompting-MammAlps：用于相机陷阱数据的细粒度文本到视频检索

Valentin Gabeff, Baptiste Maquignaz, Jennifer Shan, Sepideh Mamooler, Gencer Sumbul, Blair Costelloe, Devis Tuia, Alexander Mathis

机构 * Ecole Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院） ； Max Planck Institute of Animal Behavior（马克斯·普朗克动物行为研究所） ； University of Konstanz（康斯坦茨大学） 纠错

专题命中 仓库级理解 ：coding agent(abstract)；分类 cs.AI

AI总结 针对相机陷阱数据自动检索视频的难题，提出Prompting-MammAlps基准及细粒度可解释TVR方法，训练视觉变压器并结合大语言模型处理查询，在基准测试中取得较好成绩，优于零样本VLM。

Comments Accepted at ECCV 2026; Project page: https://cnai.epfl.ch/prompting-mammalps

Deforking the World of Code: A Project-Provenance Map that Recovers Cross-Forge Fork Families that Platform Graphs Cannot See

去分叉代码世界：一个恢复跨平台分叉家族的项目来源图谱，平台图无法识别

Audris Mockus

专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE

AI总结 针对Git分叉导致代码度量膨胀的问题，提出基于全局共享提交关系的去分叉映射p2PFull，通过集线节点星编码和并行Louvain聚类构建项目来源图，并验证了跨平台分叉家族的发现。

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$可计算紧集，在符号动力学有限型子转移背景下给出有限时间计算两者的显式算法及代码库。

Spectral Gap for the Binary Fixed-Margin Swap Chain

二元固定边缘交换链的谱间隙

Weibo Fu, Qian Qin, Guanyang Wang

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

AI总结 证明了具有指定行和与列和的二元矩阵上的惰性交换链具有逆多项式谱间隙，下界为组合数乘积的倒数，并给出了紧例。

Comments add acorollary and additional references

Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework

基于NP验证器模拟框架的多项式NP完全算法实现

Changryeol Lee

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

AI总结 本文基于改进的NP验证器模拟框架，构建了SAT和子集和问题的确定性图灵机，实现了理论证明与可执行软件之间的桥梁，并展示了多项式时间内的有效执行。

Comments A reference implementation is available at https://github.com/changryeol-hub/poly-np-sim. The verifier Turing machines have been updated to certificate-oblivious Turing machines, following the update to the original framework