Login / Signup
Proving Theorems using Incremental Learning and Hindsight Experience Replay.
Eser Aygün
Laurent Orseau
Ankit Anand
Xavier Glorot
Vlad Firoiu
Lei M. Zhang
Doina Precup
Shibl Mourad
Published in:
CoRR (2021)
Keyphrases
</>
incremental learning
incremental learning algorithm
fuzzy artmap
neural learning
supervised learning
batch learning
learning process
semi supervised
batch mode
iterative learning