arXiv cs.SE· Muhammad Danial, Muhammad Taimoor Khan·· 2 小时前AI 评分38
TrustedCode：用 LLM 与 Why3 自动验证 AI 生成的 Python 代码
TrustedCode: Evaluating Large Language Models for Developing Trusted Code through Automated Program Verification
AI 导读
作者提出 TrustedCode，一个面向 AI 生成 Python 代码的自动验证框架，用 LLM 做类型检查、经 Why3 翻译为 WhyML，再由 Why3 后端自动定理证明器按形式化规约验证。
来源：arXiv cs.SE · arxiv.org