1. 磐创AI-开放猫官方网站首页
  2. 资源干货
  3. 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,如若转载,请注明出处:https://panchuang.net/2017/08/06/tensorflow-deepmathautomated-theorem-proving/

发表评论

登录后才能评论

联系我们

400-800-8888

在线咨询:点击这里给我发消息

邮件:admin@example.com

工作时间:周一至周五,9:30-18:30,节假日休息