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