基本信息
文件名称：自动形式化验证与可信代码生成.pdf
文件大小：9.1 MB
总页数：28 页
更新时间：2025-07-29
总字数：约7.22千字
文档摘要
2025全球机器学习技术大会
自动形式化验证
与可信代码生成
卢帅
微软亚洲研究院
目
录可信代码生成
形式化验证的优势与挑战
自动形式化验证—模型的自我进化
代码生成
大模型