Learning dynamic polynomial proofs.
Alhussein FawziMateusz MalinowskiHamza FawziOmar FawziPublished in: NeurIPS (2019)
Keyphrases
- learning process
- learning systems
- reinforcement learning
- learning tasks
- dynamic environments
- real time
- learning experience
- online learning
- supervised learning
- learning algorithm
- machine learning
- neural network
- prior knowledge
- artificial intelligence
- mobile learning
- database
- incremental learning
- learning analytics
- inductive inference