Reliable Automated Programming via Large Language Models

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本研究提出了一种新方法——程序-证明共演修复引擎,旨在解决AI生成代码的不可靠性和自然语言需求模糊的问题。该方法能够识别程序员意图,生成符合该意图的代码及其证明,从而提高自动生成程序的可验证性。

🏷️

标签

➡️

继续阅读