A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies.
Maxwell CrouseSpencer WhiteheadIbrahim AbdelazizBassem MakniCristina CornelioPavan KapanipathiEdwin PellKavitha SrinivasVeronika ThostMichael WitbrockAchille FokouePublished in: CoRR (2019)
Keyphrases
- reinforcement learning
- learning algorithm
- learning process
- learning problems
- learning agents
- supervised learning
- unsupervised learning
- online learning
- active learning
- state space
- dynamic programming
- learning tasks
- robot control
- learning environment
- machine learning
- mobile learning
- inductive inference
- deep learning
- state abstraction
- policy search