Deepmath
Deepmath项目旨在改进使用深度学习和其他机器学习技术的自动化定理证明。 Deepmath是Google研究与几所大学之间的合作。
免责声明：
该存储库中的源代码不是Google的官方产品，而是与外部研究团队的研究合作。
现在，存储库仅包含HOL Light内核的C ++实现，我们早期已经发布了这些实现来促进现有协作。更多代码即将发布，包括神经网络模型。
https://github.com/tensorflow/deepmath
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.
For now the repository contains only a C++ implementation of the HOL Light kernel, which we have released early in order to faciliate existing collaborations. More to come soon, including neural network models.