AI、Lean 与形式化验证的未来，与 Lean 创始人 Leo de Moura

AI、Lean 与形式化验证的未来，与 Lean 创始人 Leo de Moura
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

原始链接: https://thedataexchange.media/leo-de-moura-lean-aws/

正在检查您的浏览器...需要 JavaScript

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 AI、Lean 与形式化验证的未来，与 Lean 创建者 Leo de Moura 一起 ( thedataexchange.media ) 16 分由 datascientist 5 小时前 | 隐藏 | 过去 | 收藏 | 讨论帮助考虑申请 YC 2027 年冬季批次！申请开放至 11 月 2 日。指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系搜索：

相关文章

原文

Checking your browser...

联系我们 contact @ memedata.com