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]
Abstract is missing.