Lei M. Zhang is qualified to endorse.
Proving Theorems using Incremental Learning and Hindsight Experience Replay
| Ankit Anand: | Is registered as an author of this paper. Not currently an endorser. (why?) |
| Lei M. Zhang: | Is registered as an author of this paper. Can endorse for cs.IT, cs.LG, math.IT. (why?) |
Eser Aygün, Laurent Orseau, Xavier Glorot, Vlad Firoiu, Doina Precup and Shibl Mourad are not registered as owners of this paper. (why?)