Sean Welleck, Jiacheng Liu 0010, Ronan Le Bras, Hanna Hajishirzi, Yejin Choi, KyungHyun Cho, KyungHyun Cho. NaturalProofs: Mathematical Theorem Proving in Natural Language. In Joaquin Vanschoren, Sai Kit Yeung, editors, Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, NeurIPS Datasets and Benchmarks 2021, December 2021, virtual. 2021. [doi]
@inproceedings{Welleck0BHCCC21,
title = {NaturalProofs: Mathematical Theorem Proving in Natural Language},
author = {Sean Welleck and Jiacheng Liu 0010 and Ronan Le Bras and Hanna Hajishirzi and Yejin Choi and KyungHyun Cho and KyungHyun Cho},
year = {2021},
url = {https://datasets-benchmarks-proceedings.neurips.cc/paper/2021/hash/d9d4f495e875a2e075a1a4a6e1b9770f-Abstract-round1.html},
researchr = {https://researchr.org/publication/Welleck0BHCCC21},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, NeurIPS Datasets and Benchmarks 2021, December 2021, virtual},
editor = {Joaquin Vanschoren and Sai Kit Yeung},
}