Learning to Prove Theorems via Interacting with Proof Assistants.
Kaiyu YangJia DengPublished in: CoRR (2019)
Keyphrases
- learning problems
- learning process
- learning scheme
- unsupervised learning
- learning algorithm
- genetic algorithm
- real time
- reinforcement learning
- learning tasks
- intelligent agents
- learning systems
- active learning
- supervised learning
- data sets
- database
- learning models
- inductive learning
- knowledge acquisition
- prior knowledge
- machine learning
- multi agent
- website
- feature selection
- information systems
- information retrieval