@inproceedings{NEURIPS2021_4dea382d, author = {Wu, Minchao and Norrish, Michael and Walder, Christian and Dezfouli, Amir}, booktitle = {Advances in Neural Information Processing Systems}, editor = {M. Ranzato and A. Beygelzimer and Y. Dauphin and P.S. Liang and J. Wortman Vaughan}, pages = {9330--9342}, publisher = {Curran Associates, Inc.}, title = {TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning}, url = {https://proceedings.neurips.cc/paper_files/paper/2021/file/4dea382d82666332fb564f2e711cbc71-Paper.pdf}, volume = {34}, year = {2021} }