Deepmath是一项利用深度学习技术改进自动定理证明的研究项目，由GoogleResearch及多个大学共同研发。该项目已发布了一个针对HOLLight内核的C++实现，并计划进一步公布神经网络模型等内容。
原文：Tensorflow Deepmath: Experiments towards neural network theorem proving
作者：GitHub 翻译：Daisy 责编：仲培艺
Deepmath是由Google Research和几个大学之间合作开发的，旨在使用深度学习和其它机器学习技术来提高自动定理证明。
托管地址：https://github.com/tensorflow/deepmath
目前，该库仅包含一个促进现有合作的HOL Light内核的C++实现，接下来将会发布神经网络模型等。
安装
Deepmath依赖于TensorFlow，是其中的一个子模块。安装之前需要安装TensorFlow的所有依赖项，并且运行configure去初始化构建系统，点击这里查看具体说明：
# Install TensorFlow dependencies if necessary
cd deepmath/tensorflow
./configure # and answer all questions然后通过下面命令创建hol：
cd deepmath/hol
bazel build ...
扫一扫
2263
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
