返回 登录
0

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 ...

图片描述

评论