Tensorflow Deepmath：神经网络定理证明实验

原文：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 ...

---