AI 大模型

代码大模型 / AI 编程

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

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

1. 程序分析与验证 1 篇

2507.22086 2025-07-31 cs.SE cs.AI cs.PL 67%

Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si

机构 * University of Toronto（多伦多大学）； Vector Institute（向量研究所）； CIFAR AI Chair（CIFAR人工智能主席）

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

Journal ref Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada. PMLR 267, 2025

↑