@inproceedings{NEURIPS2018_55acf853, author = {Kaliszyk, Cezary and Urban, Josef and Michalewski, Henryk and Ol\v{s}\'{a}k, Miroslav}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Bengio and H. Wallach and H. Larochelle and K. Grauman and N. Cesa-Bianchi and R. Garnett}, pages = {}, publisher = {Curran Associates, Inc.}, title = {Reinforcement Learning of Theorem Proving}, url = {https://proceedings.neurips.cc/paper_files/paper/2018/file/55acf8539596d25624059980986aaa78-Paper.pdf}, volume = {31}, year = {2018} }