Login / Signup
Proving Theorems using Incremental Learning and Hindsight Experience Replay.
Eser Aygün
Ankit Anand
Laurent Orseau
Xavier Glorot
Stephen M. Mcaleer
Vlad Firoiu
Lei M. Zhang
Doina Precup
Shibl Mourad
Published in:
ICML (2022)
Keyphrases
</>
incremental learning
incremental learning algorithm
fuzzy artmap
neural learning
semi supervised
batch learning
neural network
batch mode
decision trees
similarity measure
learning environment
learning process
mobile robot