Sep, 2018

适格程序可证明正确的自动子微分

TL;DR研究了在 ML 算法中常见的子导数,比较了计算子导数和计算标量值函数的成本,提出了 Cheap Subgradient Principle 并得出结论:在一定限制下,可以以不到 6 倍计算标量函数本身的成本计算出可靠的 generalized subderivatives。