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

本研究针对大语言模型在生成代码注释时的可靠性问题，提出了一种新方法，通过工具集从不可靠的LLM中提取正确注释，以确保软件系统的可证明正确性。