TY  - RPRT
TI  - NaturalProver: Grounded Mathematical Proof Generation with Language Models
AU  - Sean Welleck
AU  - Jiacheng Liu
AU  - Ximing Lu
AU  - Hannaneh Hajishirzi
AU  - Yejin Choi
PY  - 2022
UR  - https://arxiv.org/abs/2205.12910
ID  - 2205.12910
ER  -