AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2025-12-23 至 2025-12-23 共收录 3 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 软件智能体 3 篇

2504.14757 2025-12-23 cs.SE cs.AI 73%

SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs

SWE-Synth：合成可验证的bug修复数据以使大语言模型能够解决现实中的bug

Minh V. T. Pham, Huy N. Phan, Hoang N. Phan, Cuong Le Chi, Tien N. Nguyen, Nghi D. Q. Bui

机构 * FPT Software AI Center, Viet Nam（越南FPT软件AI中心）； Nanyang Technological University, Singapore（新加坡南洋理工大学）； University of Texas at Dallas, US（美国德克萨斯大学达拉斯分校）

专题命中软件智能体：program repair(abstract)；repository(abstract)；分类 cs.SE、cs.AI

AI总结 SWE-Synth通过合成可验证的bug修复数据集，提升大语言模型在解决现实bug中的性能。

Comments Work in progress

2511.02864 2025-12-23 cs.NE cs.AI math.CA math.CO math.MG 57%

Mathematical exploration and discovery at scale

大规模数学探索与发现

Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, Adam Zsolt Wagner

机构 * Google DeepMind（谷歌DeepMind）； Department of Mathematics, Brown University（布朗大学数学系）； Institute for Advanced Study（高级研究院）； UCLA Department of Mathematics（加州大学洛杉矶分校数学系）

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

AI总结 AlphaEvolve通过进化搜索发现数学构造，提升数学问题解决效率

Comments 81 pages, 35 figures

2501.05904 2025-12-23 cs.CV 50%

Binary Event-Driven Spiking Transformer

二进制事件驱动脉冲变压器

Honglin Cao, Zijian Zhou, Wenjie Wei, Ammar Belatreche, Yu Liang, Dehao Zhang, Malu Zhang, Yang Yang, Haizhou Li

机构 * University of Electronic Science and Technology of China（电子科学与技术大学）； Northumbria University（北umbria大学）； The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））； National University of Singapore（新加坡国立大学）

专题命中软件智能体：repository(abstract)

AI总结本文提出二进制事件驱动脉冲变压器（BESTformer），通过二值化技术减少计算和存储需求，结合耦合信息增强方法缓解性能下降，实现高效且高性能的脉冲神经网络模型。

Comments 9 pages, 5 figures