tensorflow deepmath:基于深度学习的自动化数学定理证明

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.

Be the first to comment

Leave a Reply

Your email address will not be published.