Initial Experiments with External Provers and Premise Selection on HOL Light Corpora.

Cezary Kaliszyk Josef Urban

Published in: PAAR@IJCAR (2012)

Keyphrases

theorem prover
theorem proving
natural language processing
selection criteria
neural network
real world
decision trees
knowledge representation
selection strategy
internal and external