AI 大模型

代码大模型 / AI 编程

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

2025-11-19 至 2025-11-19 共收录 1 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 1 篇

2511.13751 2025-11-19 cs.DC cs.AR cs.PL 57%

Shinnung Jeong, Chihyo Ahn, Huanzhi Pu, Jisheng Zhao, Hyesoon Kim, Blaise Tine

专题命中程序分析与验证：code generation(abstract)；分类 cs.PL

Comments 11 pages, 10 figures, two tables, two algorithms