Deep Learning for Automated Theorem Proving - Extended Abstract.
Stanislaw J. PurgalPublished 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