AI 大模型

代码大模型 / AI 编程

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

2026-02-20 至 2026-02-20 共收录 1 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 1 篇

2602.16981 2026-02-20 cs.PL 74%

Mason: 基于类型和名称的程序合成

Jasper Geer, Fox Huston, Jeffrey S. Foster

专题命中程序分析与验证：program synthesis(title)；分类 cs.PL

AI总结 Mason通过类型和名称引导合成技术，自动将设计模式插入到面向对象程序中，提升了多类程序合成的效率和准确性。