（评论）

（评论）
(comments)

原始链接: https://news.ycombinator.com/item?id=43454861

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 Show HN: 使用 Lean 4 对机器学习模型进行形式化验证 (github.com/fraware) 14 分，来自 MADEinPARIS，44 分钟前 | 隐藏 | 过去 | 收藏 | 1 评论 mentalgear 4 分钟前 [–] 这看起来非常有趣——也许一些对此更了解的人可以比较一下其他框架，以及这些保证能达到什么程度？（例如，公平性似乎甚至难以客观定义）回复加入我们 6 月 16-17 日在旧金山举办的 AI 初创公司学校！指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们搜索：

（评论） 2025-03-17

(评论) 2025-03-17

（评论） 2025-03-22

（评论） 2025-03-19

原文

login

		Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com/fraware)
		14 points by MADEinPARIS 44 minutes ago \| hide \| past \| favorite \| 1 comment

mentalgear 4 minutes ago [–]

This looks really interesting - Maybe someone with more knowledge on the subject could make a comparison with other frameworks and how far these guarantees can go? (e.g. fairness seems even ambiguous to define objectively)

reply

（评论） (comments)

（评论）
(comments)