Learning to Prove Theorems via Interacting with Proof Assistants.
Kaiyu YangJia DengPublished in: ICML (2019)
Keyphrases
- learning algorithm
- learning tasks
- learning process
- learning systems
- reinforcement learning
- online learning
- knowledge acquisition
- incremental learning
- unsupervised learning
- prior knowledge
- data mining
- supervised learning
- hidden markov models
- background knowledge
- expert systems
- inductive learning
- learning scheme
- learning capabilities