Generative Compilation：在AI生成代码时提供即时编译器反馈

研究者提出generative compilation方法，通过轻量级语法引导的sealor变换，将不完整程序转换为标准编译器可诊断的完整程序，从而在生成过程中获取编译器反馈。

该方法在核心Rust类演算中通过Lean形式化验证，并扩展至真实Rust。

在仓库级Rust编程任务上，相比标准后生成反馈，该方法减少了非编译输出并提升了功能正确性。

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs ：https://info.arxiv.org/labs/index.html.