@inproceedings{NEURIPS2022_1fc548a8, author = {Welleck, Sean and Liu, Jiacheng and Lu, Ximing and Hajishirzi, Hannaneh and Choi, Yejin}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh}, pages = {4913--4927}, publisher = {Curran Associates, Inc.}, title = {NaturalProver: Grounded Mathematical Proof Generation with Language Models}, url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/1fc548a8243ad06616eee731e0572927-Paper-Conference.pdf}, volume = {35}, year = {2022} }