Premise Selection in the Naproche System.

Marcos Cramer Peter Koepke Daniel Kühlwein Bernhard Schröder

Published in: IJCAR (2010)

Keyphrases

selection criteria
selection strategy
similarity measure
reinforcement learning
objective function
feature space
search space
active learning