Certigrad无 Bug 的随机计算图

0粉丝
Certigrad 是一个概念证明,它是一种开发机器学习系统的新方法,其中包含以下组件:应用本身基础数学库应用在数学上所需求的形式化描述应用满足其形式
简介
Certigrad 是一个概念证明,它是一种开发机器学习系统的新方法,其中包含以下组件:应用本身基础数学库应用在数学上所需求的形式化描述应用满足其形式化描述的机器可测证明具体地说,Certigrad 是一个优化随机计算图的系统,研究人员使用 Lean Theorem Prover 对其进行了系统性的... 更多
其它信息
地区
不详
开源组织
所属分类
神经网络/人工智能、 机器学习/深度学习
授权协议
Apache
操作系统
未知
收录时间
2023-09-26
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐