zoukankan      html  css  js  c++  java
  • 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.

    更多教程:http://www.tensorflownews.com/

  • 相关阅读:
    招标问什么
    其他房产
    长沙
    flume kafka
    http://www.zhihu.com/question/24301047
    38.NOW() 函数
    35.MID() 函数
    36.LEN() 函数
    34.UCASE() LCASE() 函数
    33.HAVING 子句
  • 原文地址:https://www.cnblogs.com/tensorflownews/p/7296531.html
Copyright © 2011-2022 走看看