Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques.
M. Saqib NawazM. Zohaib NawazOsman HasanPhilippe Fournier-VigerMeng SunPublished in: Appl. Intell. (2021)
Keyphrases
- deep learning
- theorem prover
- natural deduction
- higher order logic
- unsupervised learning
- unsupervised feature learning
- multiple sequence alignments
- machine learning
- theorem proving
- deep architectures
- mental models
- weakly supervised
- restricted boltzmann machine
- data sets
- higher order
- first order logic
- object recognition
- image patches
- inference rules
- pattern recognition
- decision making