arXiv· Muhammad Danial·· 9 天前推荐指数47
TrustedCode：通过自动程序验证评估大语言模型开发可信代码的能力
TrustedCode: Evaluating Large Language Models for Developing Trusted Code through Automated Program Verification
AI 导读
TrustedCode 是一个用于验证 AI 生成的 Python 代码的自动化框架，它利用大语言模型进行类型检查、通过 Why3 框架将其翻译为 WhyML，并使用 Why3 后端自动定理证明器对照形式化规范进行验证。
来源：arXiv · arxiv.org