代码大模型 / AI 编程

AnCoder: Anchored Code Generation via Discrete Diffusion Models

AnCoder：通过离散扩散模型实现锚定代码生成

Anton Xue, Litu Rout, Constantine Caramanis, Sanjay Shakkottai

机构 * The University of Texas at Austin（德克萨斯大学奥斯汀分校） 纠错

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.LG、cs.PL

AI总结 AnCoder通过结构化锚定扩散模型实现高质量代码生成，解决了传统方法无法尊重编程语言结构的问题。

Analyzing and Improving Chain-of-Thought Monitorability Through Information Theory

通过信息论分析和改进链式思维可监控性

Usman Anwar, Tim Bakker, Dana Kianfar, Cristina Pinneri, Christos Louizos

机构 * University of Cambridge（剑桥大学） ； Qualcomm AI Research（高通人工智能研究） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.CL、cs.AI、cs.LG

AI总结 本文通过信息论分析，提出两种方法改进链式思维监控器的可监控性，以提高监控准确性并防止奖励黑客问题。

Comments First two authors contributed equally

ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries

ExPairT-LLM：通过成对查询实现LLM代码选择的精确学习

Tom Yuviler, Dana Drachsler-Cohen

机构 * Tom Yuviler（独立研究者） ； Dana Drachsler-Cohen（独立研究者） 纠错

专题命中 代码生成 ：code generation(abstract)；分类 cs.LG

AI总结 ExPairT-LLM通过成对查询提升LLM代码选择的精确性，实现更高成功率。

Grammar Repair with Examples and Tree Automata: Extended Version

基于示例和树自动机的语法修复：扩展版

Yunjeong Lee, Gokul Rajiv, Ilya Sergey

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.PL

AI总结 本研究提出基于示例和树自动机的语法修复方法，通过构建自动机解决语法歧义，提升解析器生成的准确性与实用性。

Wink: Recovering from Misbehaviors in Coding Agents

Wink: 代码代理中行为失误的恢复

Rahul Nanda, Chandra Maddila, Smriti Jha, Euna Mehnaz Khan, Matteo Paltenghi, Satish Chandra

机构 * Meta Platforms, Inc.（Meta平台公司） 纠错

专题命中 软件智能体 ：coding agent(title,abstract)；分类 cs.SE、cs.AI、cs.PL

AI总结 Wink通过异步自我干预系统有效恢复代码代理的行为失误，减少工具调用失败和人工干预需求。

Exploring Generalizable Automated Program Repair with Large Language Models

探索大型语言模型在通用自动程序修复中的应用

Viola Campos, Ridwan Shariffdeen, Adrian Ulges, Yannic Noller

专题命中 程序修复 ：program repair(title,abstract)；分类 cs.SE

AI总结 本文探讨了大型语言模型在自动程序修复中的应用，发现不同模型在不同语言上表现各异，需结合多个模型以提高修复效果，并指出故障定位的不完美会显著影响修复准确性。

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory

神经符号语言推理作为可满足性模理论

Hyunseok Oh, Sam Stern, Youngki Lee, Matthai Philipose

机构 * Seoul National University（首尔国立大学） ； U. Mass. Amherst（马萨诸塞大学阿姆赫斯特分校） ； Microsoft（微软公司） 纠错

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

AI总结 Logitext通过结合LLM和SMT求解，实现自然语言与逻辑推理的联合处理，提升内容审核和法律任务的准确性和覆盖性。

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean

VeriSoftBench: 仓库级形式验证基准测试用于Lean

Yutong Xin, Qiaochu Chen, Greg Durrett, Işil Dillig

机构 * New York University（纽约大学） ； The University of Texas at Austin（德克萨斯大学奥斯汀分校） 纠错

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

AI总结 VeriSoftBench通过500个Lean 4证明义务评估LLM和证明器在仓库级形式验证中的表现，揭示了依赖闭包对证明成功率的影响。

The Cardiac Analytics and Innovation (CardiacAI) Data Repository: An Australian data resource for translational cardiovascular research

心脏分析与创新（CardiacAI）数据仓库：一个澳大利亚的心血管研究转化资源

Victoria Blake, Louisa Jorm, Jennifer Yu, Astin Lee, Blanca Gallego, Sze-Yuan Ooi

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

AI总结 CardiacAI项目建立了一个澳大利亚的心血管研究转化数据资源，通过整合电子医疗记录与人口健康数据，促进心血管疾病的研究与治疗改进。

Comments Author Notes: Blanca Gallego and Sze-Yuan Ooi are co-senior authors of this paper. Blanca Gallego is the senior technical author and Sze-Yuan Ooi is the senior clinical author

The Invisible Hand of AI Libraries Shaping Open Source Projects and Communities

人工智能库对开源项目与社区的无形之手

Matteo Esposito, Andrea Janes, Valentina Lenarduzzi, Davide Taibi

机构 * University of Oulu（奥卢大学） ； Free University of Bozen-Bolzano（博尔扎诺自由大学） ； University of Southern Denmark（丹麦南部大学） 纠错

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

AI总结 本文研究人工智能库在Python和Java开源项目中的采用情况及其对开发实践和技术生态的影响。

Comments ACCEPTED REGISTERED REPORT AT SANER (CORE A*) 2026

PyTrim: A Practical Tool for Reducing Python Dependency Bloat

PyTrim: 一种减少Python依赖膨胀的实用工具

Konstantinos Karakatsanis, Georgios Alexopoulos, Ioannis Karyotakis, Foivos Timotheos Proestakis, Evangelos Talos, Panos Louridas, Dimitris Mitropoulos

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

AI总结 PyTrim是一种自动化减少Python项目依赖膨胀的工具，通过动态分析和模块化设计提高依赖检测准确性，并已成功应用于多个开源项目。

Comments Accepted in the Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), Seoul, Korea. Supported by EU's Horizon 2021 research and innovation programme under grant agreement no. 101070599 (SecOPERA)

Journal ref 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 4070-4073

Mind the Boundary: Stabilizing Gemini Enterprise A2A via a Cloud Run Hub Across Projects and Accounts

注意边界：通过跨项目和账户的云运行枢纽稳定Gemini Enterprise A2A

Takao Morita

机构 * Independent Researcher（独立研究者） 纠错

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

AI总结 通过跨项目和账户的云运行枢纽稳定Gemini Enterprise A2A，解决边界依赖认证和UI兼容性问题，实现可靠路由和稳定响应。

Comments 7 pages. Implementation and evaluation study of cross-boundary agent orchestration for Gemini Enterprise UI

Comparative study of different quadrature methods for cut elements

不同割元求积方法的比较研究

Michael Loibl, Guilherme H. Teixeira, Teoman Toprak, Irina Shishkina, Chen Miao, Josef Kiendl, Florian Kummer, Benjamin Marussig

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

AI总结 本文比较了不同割元求积方法的效率、准确性、通用性和稳健性，分析了输入参数对积分误差的影响，并提供了开源基准测试工具。

Comments preprint; in journal review process

PINEAPPLE: Physics-Informed Neuro-Evolution Algorithm for Prognostic Parameter Inference in Lithium-Ion Battery Electrodes

PINEAPPLE：用于锂离子电池电极寿命预测参数推断的物理信息神经进化算法

Karkulali Pugalenthi, Jian Cheng Wong, Qizheng Yang, Pao-Hsiung Chiu, My Ha Dao, Nagarajan Raghavan, Chinchun Ooi

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

AI总结 PINEAPPLE通过整合物理信息神经网络与进化算法，实现了对锂离子电池电极内部参数的高效、准确推断，为电池寿命预测和管理提供新的解决方案。

Journal ref Journal of Energy Storage, 2026

Symfrog-512: High-Capacity Sponge-Based AEAD Cipher (1024-bit State)

Symfrog-512: 高容量海绵基AEAD密码（1024位状态）

Victor Duarte Melo

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

AI总结 Symfrog-512提出了一种基于海绵结构的高容量AEAD密码，提供1024位状态，包含完整的实现和可验证的测试向量，强调安全性和性能的平衡。

Comments This work presents Symfrog-512, a sponge-based AEAD scheme with a 1024-bit permutation. A full specification, rationale, and reference implementation are included. The submission is exploratory and intended for public review and community cryptanalysis