1. 首页
  2. GitHub

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.

原创文章,作者:fendouai,如若转载,请注明出处:http://www.buluo360.com/2017/08/06/tensorflow-deepmathautomated-theorem-proving/

发表评论

电子邮件地址不会被公开。 必填项已用*标注

联系我们

 

QQ:1722332572