NaturalProofs

displayName: NaturalProofs
labelTypes:
- Text
license:
- MIT
mediaTypes:
- Text
paperUrl: https://arxiv.org/pdf/2104.01112v2.pdf
publishDate: "2021"
publishUrl: https://github.com/wellecks/naturalproofs#naturalproofs-dataset
publisher:
- New York University
- University of Washington
- Allen Institute for Artificial Intelligence
- Canadian Institute for Advanced Research
tags:
- Mathematical theorem
taskTypes:
- Natural Language Understanding

---
# 数据集介绍
## 简介
NaturalProofs 数据集是用于研究自然语言中的数学推理的大规模数据集。 NaturalProofs 包含大约 20,000 个定理陈述和证明、12,500 个定义和 1,000 个附加页面（例如公理、推论），这些页面来自 ProofWiki，这是一个由贡献者社区编写的在线数学证明纲要。
## 引文
```
@article{welleck2021naturalproofs,
title={Naturalproofs: Mathematical theorem proving in natural language},
author={Welleck, Sean and Liu, Jiacheng and Bras, Ronan Le and Hajishirzi, Hannaneh and Choi, Yejin and Cho, Kyunghyun},
journal={arXiv preprint arXiv:2104.01112},
year={2021}
}
```

## Download dataset
:modelscope-code[]{type="git"}

displayName: NaturalProofs（自然证明数据集）
labelTypes:
- 文本
license:
- MIT 许可证
mediaTypes:
- 文本
paperUrl: https://arxiv.org/pdf/2104.01112v2.pdf
publishDate: "2021"
publishUrl: https://github.com/wellecks/naturalproofs#naturalproofs-dataset
publisher:
- 纽约大学
- 华盛顿大学
- 艾伦人工智能研究所 (Allen Institute for Artificial Intelligence)
- 加拿大高级研究学院 (Canadian Institute for Advanced Research)
tags:
- 数学定理
taskTypes:
- 自然语言理解

---

# 数据集介绍
## 简介
NaturalProofs（自然证明数据集）是用于研究自然语言场景下数学推理的大规模数据集。该数据集包含约20000条定理陈述与证明、12500个定义以及1000余个附加页面（如公理、推论），这些资源均取自由贡献者社区编写的在线数学证明纲要ProofWiki。
## 引文

@article{welleck2021naturalproofs,
title={Naturalproofs: Mathematical theorem proving in natural language},
author={Welleck, Sean and Liu, Jiacheng and Bras, Ronan Le and Hajishirzi, Hannaneh and Choi, Yejin and Cho, Kyunghyun},
journal={arXiv preprint arXiv:2104.01112},
year={2021}
}

## 下载数据集
:modelscope-code[]{type="git"}