srush 称核心 ML 代码数值形式化验证可行且便宜

知名 NLP 研究者 Sasha Rush(srush)表示，与他以往关于形式化验证的博客不同，这次的判断是「既有用又可行」：对大部分核心 ML 代码做数值形式化验证并不难，成本也远低于持续学习。他提到其动机来自 Google 的一篇相关论文，认为该方向值得更多研究者投入。

2026-11-14 ~ 2026-11-14 · 2 条相关

• srush:核心 ML 代码的数值形式化验证比想象中容易且便宜 — srush_nlp · 2026-11-14
• srush:数值验证大部分核心 ML 代码可行,比持续学习便宜 — srush_nlp · 2026-11-14