REFACTOR: Learning to Extract Theorems from Proofs.

Jin Peng Zhou Yuhuai Wu Qiyang Li Roger Baker Grosse

Published in: ICLR (2024)

Keyphrases

learning process
learning algorithm
learning tasks
prior knowledge
learning problems
databases
reinforcement learning
online learning
knowledge acquisition
background knowledge
hidden markov models
unsupervised learning
learning systems
mobile learning
incremental learning
learning analytics