Paul G. Allen School of Computer Science & Engineering, University of Washington and Allen Institute for Artiﬁcial Intelligence; Allen Institute for Artiﬁcial Intelligence; Paul G. Allen School of Computer Science & Engineering, University of Washington
Sean Welleck, Jiacheng Liu, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi
language modeling;reasoning;neural theorem proving
NaturalProver: Grounded Mathematical Proof Generation with Language Models