Deep Network Guided Proof Search
international conference on logic programming, 2017.
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, and playing the game of Go. Automated first-order theorem provers can aid in the formalization and verification of mathematical th...More
Full Text (Upload PDF)
PPT (Upload PPT)