BriefGPT.xyz
Jan, 2017
深度网络引导的证明搜索
Deep Network Guided Proof Search
HTML
PDF
Sarah Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk
TL;DR
利用深度学习技术来辅助自动的定理证明,通过对Mizar库的证明进行数据训练和选择处理,改进ATP的证明搜索引导,从而大幅度减少证明搜索的步骤和提高定理的证明率。
Abstract
deep learning
techniques lie at the heart of several significant
ai advances
in recent years including object recognition and detection, image captioning, machine translation, speech recognition and synthesis, an
→