On the Generation of Quantified Lemmas.

Gabriel Ebner Stefan Hetzl Alexander Leitsch Giselle Reis Daniel Weller

Published in: J. Autom. Reason. (2019)

Keyphrases

data mining
artificial intelligence
long term
theorem prover
generation process
feature selection
feature extraction
query processing
probabilistic model
least squares
genetic programming
theorem proving
generation algorithm