@inproceedings{NEURIPS2020_fc84ad56, author = {Gontier, Nicolas and Sinha, Koustuv and Reddy, Siva and Pal, Chris}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin}, pages = {22231--22242}, publisher = {Curran Associates, Inc.}, title = {Measuring Systematic Generalization in Neural Proof Generation with Transformers}, url = {https://proceedings.neurips.cc/paper_files/paper/2020/file/fc84ad56f9f547eb89c72b9bac209312-Paper.pdf}, volume = {33}, year = {2020} }