追心中的海,逐世界的梦
Certigrad 是一个概念证明,它是一种开发机器学习系统的新方法,其中包含以下组件:
应用本身
基础数学库
应用在数学上所需求的形式化描述
应用满足其形式化描述的机器可测证明
具体地说,Certigrad 是一个优化随机计算图的系统,研究人员使用 Lean Theorem Prover 对其进行了系统性的除错,它最终在底层数学上被证明是正确的。
项目链接:https://github.com/dselsam/certigrad