标签:"付杰"相关文章

可自动检测AI程序可靠性？科学家提出减少软件验证对先验知识依赖(自动测量的软件及使用方法)

在构建可验证 AI系统的道路上，付杰与团队希望利用形式化定理验证器提供的保真的训练信号，以完全利用强化学习让模型自主学习以生成基于形式化语言的代码，从而实现可扩展性（scale-up）。 为了让模型生成可…