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