Premise Selection and External Provers for HOL4.

Thibault Gauthier Cezary Kaliszyk

Published in: CoRR (2015)

Keyphrases

decision making
fine tuning
theorem prover
theorem proving
case study
knowledge representation
formal methods
database
data sets
neural network
machine learning
artificial intelligence
database systems