Inproceedings,
NaturalProofs: Mathematical Theorem Proving in Natural Language.
S. Welleck, J. Liu, R. Bras, H. Hajishirzi, Y. Choi, and K. Cho.NeurIPS Datasets and Benchmarks, (2021)
Meta data
- BibTeX key
- conf/nips/Welleck0BHCCC21
- entry type
- inproceedings
- booktitle
- NeurIPS Datasets and Benchmarks
- year
- 2021
- crossref
- conf/nips/2021db
- ee
- https://datasets-benchmarks-proceedings.neurips.cc/paper/2021/hash/d9d4f495e875a2e075a1a4a6e1b9770f-Abstract-round1.html
- url
- http://dblp.uni-trier.de/db/conf/nips/neurips2021db.html#Welleck0BHCCC21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nips/Welleck0BHCCC21
%A Welleck, Sean
%A Liu, Jiacheng
%A Bras, Ronan Le
%A Hajishirzi, Hanna
%A Choi, Yejin
%A Cho, Kyunghyun
%B NeurIPS Datasets and Benchmarks
%D 2021
%E Vanschoren, Joaquin
%E Yeung, Sai-Kit
%K dblp
%T NaturalProofs: Mathematical Theorem Proving in Natural Language.
%U http://dblp.uni-trier.de/db/conf/nips/neurips2021db.html#Welleck0BHCCC21
@inproceedings{conf/nips/Welleck0BHCCC21,
added-at = {2023-04-29T00:00:00.000+0200},
author = {Welleck, Sean and Liu, Jiacheng and Bras, Ronan Le and Hajishirzi, Hanna and Choi, Yejin and Cho, Kyunghyun},
biburl = {https://www.bibsonomy.org/bibtex/274f861a02769d16536b6443d4a60b749/dblp},
booktitle = {NeurIPS Datasets and Benchmarks},
crossref = {conf/nips/2021db},
editor = {Vanschoren, Joaquin and Yeung, Sai-Kit},
ee = {https://datasets-benchmarks-proceedings.neurips.cc/paper/2021/hash/d9d4f495e875a2e075a1a4a6e1b9770f-Abstract-round1.html},
interhash = {ff4782df4db735e49bfbf4f812856854},
intrahash = {74f861a02769d16536b6443d4a60b749},
keywords = {dblp},
timestamp = {2024-04-09T23:14:14.000+0200},
title = {NaturalProofs: Mathematical Theorem Proving in Natural Language.},
url = {http://dblp.uni-trier.de/db/conf/nips/neurips2021db.html#Welleck0BHCCC21},
year = 2021
}