整体性

Holophrasm:一种用于高阶逻辑的神经自动化定理证明器。我提出了一个自动定理证明系统在高阶逻辑使用深学习和回避手构造特征。Hoprrasm利用元语言的形式主义,并利用神经网络增广BANDIT算法和序列枚举模型来研究部分证明树。该系统从Meta MaTM的这个HTTP URL模块中证明了它的14%个测试定理。

ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. 洛斯,莎拉;Irving,杰弗里;Szegedy,克里斯蒂安;卡利斯克,塞萨里:深网络引导证据搜索(2017)