Deepmath对神经网络定理证明的实验

欢迎回到NLP简报第二期！ 如果想让自己有趣的研究/项目出现在 NLP 简报中，随时在公众号后台留言联系我 来看看本期的内容， 文章目录1、Publications

深渊 Deepmath项目旨在使用深度学习和其他机器学习技术来改进自动定理证明。 Deepmath是与几所大学之间的合作。 免责声明： 该存储库中的源代码不是Google的官方产品，而是与外部研究团队的研究合作。 安装 Deepmath依赖于TensorFlow，后者作为子模块包含在内。 使用或查看Dockerfile来deephol我们的神经证明程序deephol的构建说明。 它需要连接到校对助手服务器。 有关服务器实现，请参见 。