代码大模型 / AI 编程

CyberForge: Verified Vulnerability Injection at Repository Level for Cybersecurity Agent Training

CyberForge：用于网络安全智能体训练的、基于代码仓库级别的经验证漏洞注入框架

Amine Lbath, Manan Suri, Aurelien Delaitre, Vadim Okun, Massih-Reza Amini, Ram D. Sriram, Dinesh Manocha

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

AI总结 本研究提出CyberForge框架，通过向真实C/C++项目注入漏洞生成经验证的代码仓库级安全训练数据，微调后可提升智能体在SEC-bench和PatchEval上的漏洞修复性能。

SkillTrace: Multi-Trace Provenance Auditing for LLM-Agent Skill Reuse

SkillTrace：面向LLM智能体技能复用的多溯源审计

Jialuo Chen, Minghe Wang, Lingqi Jiang, Jianan Ma, Xinhao Deng, Xiaohu Du, Ruixiao Lin, Yunhao Feng, Linkang Du, Jingyi Wang

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

AI总结 本文提出SKILLTRACE框架，通过提取三种溯源审计LLM智能体技能复用，在SKILLTRACE-BENCH上取得高指标，野外审计显示其能生成更具操作性的复用审查队列。

F(AI)2R: Who Did What, and Who Checked? Verifiable AI Provenance as an Executable Skill

F(AI)2R：谁做了什么，谁进行了检查？可验证的人工智能溯源作为一项可执行技能

Florian Krebs

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

AI总结 研究将F(AI)2R实验的溯源模型扩展为aiprov，涵盖任何含人工智能工件。方法被打包为可执行技能，由人工智能代理操作，能解析操作员身份，把关图一致性并发布论文版本，以自身为例展示溯源记录。

Certified Interpolation Oversampling: Per-Instance Safety Guarantees for Imbalanced Learning

带安全认证的插值过采样：不平衡学习中针对单个样本的安全保证

Pankaj Yadav, Vivek Vijay

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

AI总结 本文提出带安全认证的插值过采样（CISO）框架，为不平衡学习生成带安全属性的样本，在多数据集实验中表现与SMOTE相当且无评估失败，揭示了保真度与安全的连续权衡关系。

Comments 39 pages

Squarefree numbers in short intervals: explicit and formalized

短区间中的无平方因子数：显式结果与形式化

Mayank Pandey

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

AI总结 作者将短区间无平方因子数的相关结果显式化并在Lean 4中形式化，给出了特定参数下的误差界，阐述了指数显式化及形式化的相关工作。

Comments 4 pages

Search for neutrino emission from blazar $γ$-ray flares accounting for possible neutrino time delays

搜寻与blazar γ射线暴相关的高能中微子辐射，考虑中微子可能的时间延迟

Egor Podlesnyi, Foteini Oikonomou

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

AI总结 该研究通过分析中微子与γ射线暴的时间延迟，探索blazar高能中微子辐射的可能性。

Comments 16 pages (11+5), 12 figures (9+3), 7 tables (2+5); published in the Open Journal of Astrophysics

Journal ref OJA, 9, 10.33232/001c.166774 (2026)