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 MouradICLR 2022（2022）引用 22|浏览27关键词theorem proving,incremental learning,hindsight experience replay,transformersAI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
