Deepmath

Deepmath项目旨在改进使用深度学习和其他机器学习技术的自动化定理证明。 Deepmath是Google研究与几所大学之间的合作。

免责声明：

该存储库中的源代码不是Google的官方产品，而是与外部研究团队的研究合作。

现在，存储库仅包含HOL Light内核的C ++实现，我们早期已经发布了这些实现来促进现有协作。更多代码即将发布，包括神经网络模型。

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.

更多教程：