BriefGPT.xyz
Feb, 2025
大语言模型支持的Java验证的下一步
Next Steps in LLM-Supported Java Verification
HTML
PDF
Samuel Teuber, Bernhard Beckert
TL;DR
本研究解决了大语言模型(LLM)在注释基础代码规范生成中的可靠性不足问题。文章提出了一种新方法,通过严格的工具集来从不可靠的LLM预言机中可靠地提取正确的规范注释。研究结果显示,这种方法能够有效保障大规模软件系统的可证明正确性。
Abstract
Recent work has shown that
Large Language Models
(LLMs) are not only a suitable tool for code generation but also capable of generating annotation-based
Code Specifications
. Scaling these methodologies may allow
→