TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning.
Minchao WuMichael NorrishChristian WalderAmir DezfouliPublished in: CoRR (2021)
Keyphrases
- reinforcement learning
- learning process
- learning algorithm
- supervised learning
- learning problems
- learning mechanism
- partially observable environments
- autonomous learning
- learning capabilities
- function approximation
- learning tasks
- learning systems
- online learning
- state space
- multi agent
- knowledge acquisition
- complex domains
- decision trees
- machine learning