基于 神经网络 的定理证明实验
Deepmath 项目旨在利用深度学习来改进自动化定理证明。 学习和其他 机器学习 技术。 Deepmath 是一个合作项目， Google 研究部门 和几所大学之间。
此仓库中的源代码不是 Google 的官方产品,但 是与外部研究团队合作进行的研究。
Deepmath 依赖于 TensorFlow,它作为一个子模块包含在其中。 请使用或
请参阅 deephol(我们的神经推理器)的构建说明 Dockerfile。
需要连接到证明助理服务器。请参阅
https://github.com/brain-research/hol-light 用于服务器实现。
暂无开放 Issues，或尚未同步最近议题。