<p style="text-align: center;"><img alt="" src="https://simg.open-open.com/show/85312a3638d9fd19b0def1c968ba567b.jpg" /></p>    <p>Certigrad 是一个概念证明，它是一种开发机器学习系统的新方法，其中包含以下组件：</p>    <ul>     <li> <p>应用本身</p> </li>     <li> <p>基础数学库</p> </li>     <li> <p>应用在数学上所需求的形式化描述</p> </li>     <li> <p>应用满足其形式化描述的机器可测证明</p> </li>    </ul>    <p>具体地说，Certigrad 是一个优化随机计算图的系统，研究人员使用 Lean Theorem Prover 对其进行了系统性的除错，它最终在底层数学上被证明是正确的。</p>    <p> </p>    <p>项目链接：<a href="/misc/goto?guid=4959009670497007674">https://github.com/dselsam/certigrad</a></p>