TY  - RPRT
TI  - NaturalProofs: Mathematical Theorem Proving in Natural Language
AU  - Sean Welleck
AU  - Jiacheng Liu
AU  - Ronan Le Bras
AU  - Hannaneh Hajishirzi
AU  - Yejin Choi
AU  - Kyunghyun Cho
PY  - 2021
UR  - https://arxiv.org/abs/2104.01112
ID  - 2104.01112
ER  -