Better Lemmas with Lambda Extraction.

Mathias Preiner Aina Niemetz Armin Biere

Published in: FMCAD (2015)

Keyphrases

fixed point
feature extraction
information extraction
theorem prover
theorem proving
automatic extraction
object extraction
data sets
machine learning
image processing
video sequences
natural language
hidden markov models
knowledge representation