Login / Signup
A Learning-Based Fact Selector for Isabelle/HOL.
Jasmin Christian Blanchette
David Greenaway
Cezary Kaliszyk
Daniel Kühlwein
Josef Urban
Published in:
J. Autom. Reason. (2016)
Keyphrases
</>
theorem prover
learning process
learning algorithm
learning systems
knowledge acquisition
real time
expert systems
reinforcement learning
empirical studies
decision trees
learning tasks
theorem proving
learning environment
learning problems
website
learning scheme
learning phase