代码大模型 / AI 编程

JETO-Bench: A Reproducible Benchmark for Execution Time Improvement Patches in Java

JETO-Bench: Java执行时间改进补丁的可复现基准测试

Khashayar Etemadi, Zhendong Su

专题命中 代码评测 ：coding agent(abstract)；分类 cs.SE

AI总结 提出JETO-Mine工具，通过静态分析、动态分析和评估框架自动构建可复现的Java执行时间改进补丁基准，并构建包含660个补丁的JETO-Bench，验证了其有效性。

Deformable Image Registration for Self-supervised Cardiac Phase Detection in Multi-View Multi-Disease Cardiac Magnetic Resonance Images

可变形图像配准用于多视角多疾病心脏磁共振图像的自监督心脏相位检测

Sven Koehler, Sarah Kaye Mueller, Jonathan Kiekenap, Gerald Greil, Tarique Hussain, Samir Sarikouch, Florian André, Norbert Frey, Sandy Engelhardt

机构 * Department of Internal Medicine III, Heidelberg University Hospital（海德堡大学第三内科部门医院） ； Medical Faculty of Heidelberg University（海德堡大学医学院） ； DZHK (German Centre for Cardiovascular Research)（德国心血管研究中心） ； Division of Pediatric Cardiology, Department of Pediatrics, UT Southwestern /Children’s Health（儿童心脏病科，德克萨斯西南医学中心/儿童健康） ； Department of Cardiothoracic, Transplantation and Vascular Surgery, Hannover Medical School（汉诺威医学院心胸外科、移植外科和血管外科部门） 纠错

专题命中 代码评测 ：repository(abstract)；分类 cs.AI

AI总结 本文提出一种自监督深度学习方法，通过多视角多疾病心脏磁共振图像检测五个关键帧，提高了心脏相位检测的准确率，适用于SAX和4CH cine CMR。

Comments Main 30 pages, 6 figures

Journal ref Medical Image Analysis, 2026

Synergizing LLMs and Knowledge Graphs: A Novel Approach to Software Repository-Related Question Answering

融合大语言模型与知识图谱：一种针对软件仓库相关问答的新型方法

Samuel Abedu, SayedHassan Khatoonabadi, Emad Shihab

机构 * Data-driven Analysis of Software (DAS) Lab Department of Computer Science \& Software Engineering Concordia University Montreal QC Canada ； Concordia University 纠错

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

AI总结 本文提出融合大语言模型与知识图谱的方法，提升软件仓库问答的准确性与效率。

Comments Submitted to ACM Transactions on Software Engineering and Methodology for review

Skillware: A Software Ontology and Engineering Lifecycle for Persistent Behavioral Artifacts

Skillware：用于持久行为工件的软件本体与工程生命周期

Haodi Fan, Zucong Lan

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

AI总结 研究针对智能体技能成为持久行为工件却缺乏相关软件本体的问题，引入Skillware，通过Skill Artifact和Skillware Unit管理工件，阐述相关条件与证据，为智能体能力提供可识别、可组合、可维护及可演化的软件本体与工程生命周期。

Comments 26 pages, 6 figures, 5 tables

The Hitchhiker's Guide to Monoculture

单一文化的搭便车指南

Gordon Burtch

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

AI总结 研究通过Kaggle竞赛提交代码，探讨人工智能编码助手对代码的影响，采用多种方法在不同层面研究代码同质化，发现句法有显著同质化，语义同质化不明显，表明编码助手规范了实现细节但未使方法和策略趋同。

Making Mathematical Knowledge Explainable, Accessible and Interoperable Through Large Language Model Integration

通过大语言模型集成使数学知识可解释、可访问和可互操作

Jan Range, Björn Schembera, Dominik Göddeke

机构 * Stuttgart Center for Simulation Science (SC SimTech), University of Stuttgart（斯图加特大学斯图加特模拟科学中心 (SC SimTech)） ； Institute of Applied Analysis and Numerical Simulation, University of Stuttgart（斯图加特大学应用分析与数值模拟研究所） 纠错

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

AI总结 研究旨在解决数学模型文档不符合FAIR原则及访问难等问题，通过模型上下文协议（MCP）服务器将大语言模型与MathModDB集成，实现基于认知的LLM使用，提高可解释性、可访问性并简化互操作性，通过用例展示了集成优势。

Comments Preprint submitted to 6th Wikidata Workshop@ISWC

Nearly Tight Bounds for Cross-Learning Contextual Bandits with Graphical Feedback

具有图形反馈的交叉学习上下文博弈的近似紧界

Ruiyuan Huang, Zengfeng Huang

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

AI总结 研究具有图形反馈的交叉学习上下文博弈，在遗忘对抗损失模型下，针对强可观测图给出肯定答案，算法通过隔离无自环动作、悲观校正等实现\(\widetilde O(\sqrt{\alpha T})\)期望遗憾，实验展示相关好处及缩放。

A Frozen 12B Beats Frontier Models on Verified Work: 100% Accuracy, 0 Tokens, Bit-Exact, Forever

一个冻结的12B模型在经过验证的任务上超越前沿模型：100%准确率、零token、位精确、永远如此

Sietse Schelpe

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

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

ATLAS: Multi-View Code Representation Tool for C and C++ Source Programs

ATLAS: C和C++源代码的多视图代码表示工具

Jaid Monwar Chowdhury, Ahmad Farhan Shahriar Chowdhury, Humayra Binte Monwar, Mahmuda Naznin

专题命中 程序分析与验证 ：repository(abstract,comments)；分类 cs.SE

AI总结 提出ATLAS工具，无需完整构建即可为C/C++生成对齐的AST、CFG和DFG，支持部分输入，输出JSON/DOT/PNG，在TheAlgorithms语料上CFG正确率达96.80%（C）和91.67%（C++）。

Comments 5 pages, 4 figures, 2 tables; Video demonstration: https://youtu.be/50DvEbenp14; Tool repository: https://github.com/jaid-monwar/ATLAS-multi-view-code-representation-tool.git

Implementation and first application of EMC3-EIRENE on DTT for assessing the heat load on the ICRH antenna

EMC3-EIRENE在DTT上的实现及首次应用：评估ICRH天线的热负荷

H. S. Wu, Y. Feng, F. Subba, S. Ceccuzzi, P. Innocente, M. M. Robaldo, A. A. Tuccillo, R. Zanino

专题命中 其他AI编程 ：code model(abstract)

AI总结 介绍EMC3-EIRENE在DTT上的实现及应用，通过轴对称几何和SOLPS-ITER结果评估其性能，纳入ICRH天线结构进行模拟，得出热负荷分布预测值，还评估了三维气体喷射对天线热负荷的影响。