NaturalProver: Grounded Mathematical Proof Generation with Language Models - Welleck, Sean; Liu, Jiacheng; Lu, Ximing; Hajishirzi, Hannaneh; Choi, Yejin (Advances in Neural Information Processing Systems, 2022)