转载

机器学习开源:Centigrade - 斯坦福开源无Bug的随机计算图

机器学习开源:Centigrade - 斯坦福开源无Bug的随机计算图

Certigrad 是一个概念证明,它是一种开发机器学习系统的新方法,其中包含以下组件:

  • 应用本身

  • 基础数学库

  • 应用在数学上所需求的形式化描述

  • 应用满足其形式化描述的机器可测证明

具体地说,Certigrad 是一个优化随机计算图的系统,研究人员使用 Lean Theorem Prover 对其进行了系统性的除错,它最终在底层数学上被证明是正确的。

 

项目链接:https://github.com/dselsam/certigrad

正文到此结束
Loading...