没有合适的资源?快使用搜索试试~ 我知道了~
deepmath:神经网络定理证明的实验
共410个文件
py:123个
cc:67个
hh:64个
需积分: 5 1 下载量 150 浏览量
2021-03-06
14:53:17
上传
评论
收藏 2.98MB ZIP 举报
温馨提示
深渊 Deepmath项目旨在使用深度学习和其他机器学习技术来改进自动定理证明。 Deepmath是与几所大学之间的合作。 免责声明: 该存储库中的源代码不是Google的官方产品,而是与外部研究团队的研究合作。 安装 Deepmath依赖于TensorFlow,后者作为子模块包含在内。 使用或查看Dockerfile来deephol我们的神经证明程序deephol的构建说明。 它需要连接到校对助手服务器。 有关服务器实现,请参见 。
资源推荐
资源详情
资源评论
收起资源包目录
deepmath:神经网络定理证明的实验 (410个子文件)
BUILD 8KB
BUILD 6KB
BUILD 5KB
BUILD 5KB
BUILD 4KB
BUILD 2KB
BUILD 1KB
BUILD 757B
BUILD 730B
BUILD 688B
BUILD 604B
BUILD 497B
BUILD 491B
BUILD 433B
BUILD 313B
BUILD 313B
BUILD 307B
BUILD 303B
BUILD 183B
BUILD 146B
deepmath.bzl 2KB
CuckooSet.cc 104KB
synth.pb.cc 64KB
Vm.cc 49KB
Compile.cc 34KB
kernel.cc 29KB
PremiseViewer.cc 29KB
Parser.cc 28KB
TypeInference.cc 28KB
Synth.cc 26KB
SynthEnum.cc 23KB
Kernel.cc 16KB
weaver_op.cc 15KB
CreateTestVectors.cc 13KB
Expand.cc 13KB
DetailedViewer.cc 13KB
trace.cc 13KB
RandomFuncs.cc 13KB
Train_PremiseGraph.cc 13KB
Types.cc 12KB
Main_cb.cc 11KB
Linux.cc 11KB
Parser.cc 11KB
sequence_op.cc 11KB
HolFormat.cc 10KB
Console.cc 10KB
SynthPrune.cc 10KB
printer.cc 10KB
SynthSpec.cc 9KB
Types.cc 9KB
convert_ops.cc 9KB
Processes.cc 8KB
ExprParser.cc 8KB
ExtractPropTests.cc 8KB
jagged_ops.cc 7KB
DeriveGenealogy.cc 7KB
StrollExtract.cc 7KB
Checker.cc 7KB
WriteProof.cc 6KB
Main_pan.cc 5KB
HeapSynth.cc 5KB
ProofStore.cc 5KB
Instr.cc 5KB
CbPython.cc 5KB
Main_test.cc 5KB
HolOperators.cc 4KB
RuleApply.cc 4KB
Sockets.cc 4KB
vocabulary_test.cc 4KB
PropSynth.cc 3KB
vocabulary.cc 3KB
Glob.cc 3KB
ConsoleStd.cc 3KB
SynthHelpers.cc 3KB
clause_utils.cc 3KB
ProtoBuf.cc 2KB
general.cc 2KB
Unix.cc 2KB
Train_EqChains.cc 2KB
Main_console.cc 2KB
Atom.cc 2KB
CmdLine.cc 1KB
ParserTypes.cc 1KB
serialize.cc 1KB
Printing.cc 1KB
ProofLogging.cc 1KB
Prelude.cc 1KB
trace_main.cc 830B
MODULE.conf 238B
MODULE.conf 232B
MODULE.conf 218B
MODULE.conf 175B
MODULE.conf 37B
MODULE.conf 12B
MODULE.conf 12B
model.ckpt-0.data-00000-of-00001 167KB
model.ckpt-0.data-00000-of-00001 164KB
Dockerfile 2KB
down-up_1_plus_2_minus_3.dot 678B
std.evo 21KB
共 410 条
- 1
- 2
- 3
- 4
- 5
资源评论
梦小露
- 粉丝: 20
- 资源: 4640
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功