@inproceedings{NEURIPS2020_d2a27e83, author = {Wang, Mingzhe and Deng, Jia}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin}, pages = {18146--18157}, publisher = {Curran Associates, Inc.}, title = {Learning to Prove Theorems by Learning to Generate Theorems}, url = {https://proceedings.neurips.cc/paper_files/paper/2020/file/d2a27e83d429f0dcae6b937cf440aeb1-Paper.pdf}, volume = {33}, year = {2020} }