Learning to Prove Theorems by Learning to Generate Theorems - Wang, Mingzhe; Deng, Jia (Advances in Neural Information Processing Systems, 2020)