機器學習開源：Centigrade - 斯坦福開源無Bug的隨機計算圖
Certigrad 是一個概念證明，它是一種開發機器學習系統的新方法，其中包含以下組件：
-
應用本身
-
基礎數學庫
-
應用在數學上所需求的形式化描述
-
應用滿足其形式化描述的機器可測證明
具體地說，Certigrad 是一個優化隨機計算圖的系統，研究人員使用 Lean Theorem Prover 對其進行了系統性的除錯，它最終在底層數學上被證明是正確的。
項目鏈接：https://github.com/dselsam/certigrad
本文由用戶 jopen 自行上傳分享，僅供網友學習交流。所有權歸原作者，若您的權利被侵害，請聯系管理員。
轉載本站原創文章，請注明出處，并保留原始鏈接、圖片水印。
本站是一個以用戶分享為主的開源技術平臺，歡迎各類分享！