srush 博客用 152 个算子浮点证书验证 ML 技术栈

Serge Yamaguchi-Labaune（srush）发布博客系列第 2 篇《When Rounding Breaks Machine Learning》，为 152 个算子生成浮点正确性证书，系统验证整条 ML 技术栈。方法在多个核心 ML 库中发现问题，其中若干此前从未被报告，文章据此强调舍入误差可能破坏机器学习计算的正确性。