AI 大模型

代码大模型 / AI 编程

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

2025-10-24 至 2025-10-24 共收录 2 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 2 篇

2504.00096 2025-10-24 hep-th math-ph math.MP quant-ph 50%

Wissam Chemissany, Elliott Gesteau, Alexander Jahn, Daniel Murphy, Leo Shaposhnik

专题命中程序分析与验证：code model(abstract)

Comments 20 + 9 pages, 16 figures

Journal ref J. Phys. A: Math. Theor. 58 435301 (2025)

2502.13401 2025-10-24 cs.CR cs.AR 50%

Ke Jiang, Sen Deng, Yinshuai Li, Shuai Wang, Tianwei Zhang, Yinqian Zhang

专题命中程序分析与验证：code generation(abstract)