Login / Signup
Deep Learning for Automated Theorem Proving - Extended Abstract.
Stanislaw J. Purgal
Published in:
CICM Workshops (2021)
Keyphrases
</>
extended abstract
deep learning
automated theorem proving
theorem prover
theorem proving
answer set programming
unsupervised feature learning
unsupervised learning
machine learning
deep architectures
first order logic
classical logic
mental models
weakly supervised
multiscale
logic programming
graph cuts
text classification
logic programs
text mining
pattern recognition
knowledge base
data mining