srush发布浮点正确性验证方法
热点事件持续更新
srush发布浮点正确性验证方法
1 篇报道1 个报道来源47 分钟前更新
先了解这件事
AI 综述
Serge Yamaguchi-Labaune（srush）发布博客系列第2篇《When Rounding Breaks Machine Learning》，为152个算子生成浮点正确性证书，以验证机器学习技术栈中的浮点计算。 据srush介绍，该方法在多个核心机器学习库中发现了问题，其中若干此前未被报告；他据此认为，舍入误差可能破坏机器学习计算的正确性。
AI 根据报道生成 · 24 分钟前更新
最新进展11月15日 02:07
srush 博客用 152 个算子浮点证书验证 ML 技术栈报道时间线
沿着报道，了解事件的不同侧面。
11月15日
- AGI Huntsrush 博客用 152 个算子浮点证书验证 ML 技术栈
Serge Yamaguchi-Labaune（srush）发布博客系列第 2 篇《When Rounding Breaks Machine Learning》，为 152 个算子生成浮点正确性证书，系统验证整条 ML 技术栈。方法在多个核心 ML 库中发现问题，其中若干此前从未被报告，文章据此强调舍入误差可能破坏机器学习计算的正确性。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。