tensorflow / Deepmath
Licence: apache-2.0
Experiments towards neural network theorem proving
Stars: ✭ 751
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.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].