Login / Signup
Learning to Prove with Tactics.
Thibault Gauthier
Cezary Kaliszyk
Josef Urban
Ramana Kumar
Michael Norrish
Published in:
CoRR (2018)
Keyphrases
</>
online learning
reinforcement learning
supervised learning
knowledge acquisition
learning systems
learning problems
neural network
feature selection
hybrid learning