搜索
Certigrad无 Bug 的随机计算图
认领
关注
0
粉丝
Certigrad 是一个概念证明,它是一种开发机器学习系统的新方法,其中包含以下组件:应用本身基础数学库应用在数学上所需求的形式化描述应用满足其形式
知识
简介
Certigrad 是一个概念证明,它是一种开发机器学习系统的新方法,其中包含以下组件:应用本身基础数学库应用在数学上所需求的形式化描述应用满足其形式化描述的机器可测证明具体地说,Certigrad 是一个优化随机计算图的系统,研究人员使用 Lean Theorem Prover 对其进行了系统性的...
更多
其它信息
地区
不详
开源组织
无
所属分类
神经网络/人工智能、 机器学习/深度学习
授权协议
Apache
操作系统
未知
收录时间
2023-09-26
软件类型
开源软件
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
(满分 10 分)
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
GraphMapReduce图计算框架
GraphMapReduce: 基于MapReduce编程模型的图计算框架(名词约束: 顶点Vert
GraphMapReduce图计算框架
GraphMapReduce:基于MapReduce编程模型的图计算框架(名词约束:顶点Vertex-图中顶点;节点Process-计算单元节点),目录说明:代码主要包含四个文件:gmr.cppgmr
GraphChi图计算平台
是发端于卡内基梅隆大学的一个开源项目——GraphLab,主要目标是在单台机器上进行大数据量的图计算
OpenWhisk无服务器计算平台
OpenWhisk是一个由IBM开源的、事件驱动的无服务器计算平台,你可以将操作代码发送给OpenWhisk,然后提供OpenWhisk代码要处理的数据流。OpenWhisk负责处理计算资源的扩展,这
OpenWhisk无服务器计算平台
OpenWhisk 是一个由 IBM 开源的、事件驱动的无服务器计算平台,你可以将操作代码发送给 O
Plato高性能图计算框架
简介Plato高性能图计算框架主要有以下贡献:Plato能高效地支撑腾讯超大规模社交网络图数据的各类计算,且性能达到了学术界和工业界的顶尖水平,比SparkGraphX高出1-2个数量级,使得许多按天
Plato高性能图计算框架
简介Plato 高性能图计算框架主要有以下贡献:Plato 能高效地支撑腾讯超大规模社交网络图数据的
Apache TinkerPop图计算框架
TinkerPop是Apache软件基金会旗下的一个顶级项目。TinkerPop是一种开源图计算框架,既可用于联机事务处理(OLTP),又可用于联机分析处理系统(OLAP)。它可以用于处理单一机器以及
Apache TinkerPop图计算框架
TinkerPop是Apache软件基金会旗下的一个顶级项目。TinkerPop是一种开源图计算框架
error-prone抓取 Bug 的工具
error-prone用来抓取Java编译时的错误。通常使用编译器只能做静态类型的检查。但使用此工具,能够进行编译器的类型分析,能够检测并抓取到编译过程中的Bug,能够大大的节约开发者的时间。特点:h