tensorflow / deepmath

Experiments towards neural network theorem proving

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Deepmath

The Deepmath project seeks to improve automated theorem proving using deep learning and other machine learning techniques. Deepmath is a collaboration between Google Research and several universities.

DISCLAIMER:

The source code in this repository is not an official Google product, but is a research collaboration with external research teams.

Installation

Deepmath depends on TensorFlow, which is included as a submodule. Use, or see, the Dockerfile for build instructions for deephol, our neural prover. It requires connecting to a proof assistant server. See https://github.com/brain-research/hol-light for a server implementation.

About

Experiments towards neural network theorem proving

License:Apache License 2.0


Languages

Language:C++ 53.2%Language:Python 44.3%Language:Starlark 2.0%Language:Makefile 0.4%Language:Dockerfile 0.1%Language:Shell 0.0%