Meta-level features in an industrial-strength theorem prover.

J Strother Moore

Published in: POPL (2012)

Keyphrases

meta level
theorem prover
industrial strength
object level
inference rules
feature extraction
image features
theorem proving
feature vectors
feature set
artificial intelligence
formal proof
first order logic
domain knowledge
real world
generative model
text classification
low level
term rewriting