Learning to Prove Theorems by Learning to Generate Theorems.

Mingzhe Wang Jia Deng

Published in: CoRR (2020)

Keyphrases

learning tasks
learning algorithm
learning process
reinforcement learning
metadata
prior knowledge
supervised learning
learning systems
mobile learning
real world
e learning
website
domain knowledge
online learning
learning problems
incremental learning