@misc{indiciae96531ef77d5c,
  title = {NaturalProofs: Mathematical Theorem Proving in Natural Language},
  author = {Sean Welleck and Jiacheng Liu and Ronan Le Bras and Hannaneh Hajishirzi and Yejin Choi and Kyunghyun Cho},
  year = {2021},
  url = {https://arxiv.org/abs/2104.01112},
  note = {Source identifier: 2104.01112}
}