Deep Network Guided Proof Search

international conference on logic programming, 2017.

Cited by: 91|Bibtex|Views140|DOI:https://doi.org/10.29007/8mwc
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|arxiv.org

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, and playing the game of Go. Automated first-order theorem provers can aid in the formalization and verification of mathematical th...More

Code:

Data:

Your rating :
0

 

Tags
Comments