Login / Signup
Learning to Prove from Synthetic Theorems.
Eser Aygün
Zafarali Ahmed
Ankit Anand
Vlad Firoiu
Xavier Glorot
Laurent Orseau
Doina Precup
Shibl Mourad
Published in:
CoRR (2020)
Keyphrases
</>
learning algorithm
learning systems
learning process
active learning
real world
reinforcement learning
online learning
knowledge acquisition
learning tasks
learning problems
learning community
learning phase
real images are presented