Sign in
Learning to Prove Theorems by Learning to Generate Theorems.
Mingzhe Wang
Jia Deng
Published in:
NeurIPS (2020)
Keyphrases
</>
learning algorithm
supervised learning
online learning
knowledge acquisition
learning systems
learning problems
learning scheme
reinforcement learning
learning process
knowledge base
multiscale
learning tasks
hybrid learning
learning mechanism