Proving Theorems using Incremental Learning and Hindsight Experience Replay.

Eser Aygn, Ankit Anand, Laurent Orseau, Xavier Glorot, Stephen Marcus McAleer, Vlad Firoiu, Lei M. Zhang, Doina Precup, Shibl Mourad

Browse the full ICML paper archive.