Feb, 2025

大语言模型支持的Java验证的下一步

TL;DR本研究解决了大语言模型(LLM)在注释基础代码规范生成中的可靠性不足问题。文章提出了一种新方法,通过严格的工具集来从不可靠的LLM预言机中可靠地提取正确的规范注释。研究结果显示,这种方法能够有效保障大规模软件系统的可证明正确性。