wellecks/naturalproofs-gen

---
license: mit
tags:
- math
- theorem-proving
---

## Dataset Description

- **Repository:** [wellecks/naturalprover](https://github.com/wellecks/naturalprover)
- **Paper:** [NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://openreview.net/pdf?id=rhdfTOiXBng)
- **Point of Contact:** [Sean Welleck](https://wellecks.com/)

# Naturalproofs-gen

This dataset contains the `Naturalproofs-gen` corpus from:

[NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://arxiv.org/pdf/2205.12910.pdf)\
Sean Welleck\*, Jiacheng Liu\*, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi\
NeurIPS 2022

### Licensing Information

MIT

### Citation Information

Please cite:
```
@inproceedings{welleck2022naturalprover,
title={NaturalProver: Grounded Mathematical Proof Generation with Language Models},
author={Sean Welleck and Jiacheng Liu and Ximing Lu and Hannaneh Hajishirzi and Yejin Choi},
booktitle={Advances in Neural Information Processing Systems},
editor={Alice H. Oh and Alekh Agarwal and Danielle Belgrave and Kyunghyun Cho},
year={2022},
url={https://openreview.net/forum?id=rhdfTOiXBng}
}
```

Naturalproofs-gen was built from the Naturalproofs corpus:

```
@inproceedings{welleck2021naturalproofs,
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},
booktitle={Thirty-fifth Conference on Neural Information Processing Systems Datasets and Benchmarks Track (Round 1)},
year={2021},
url={https://openreview.net/forum?id=Jvxa8adr3iY}
}
```

原始信息汇总

数据集概述

基本信息

• 名称: Naturalproofs-gen
• 来源: wellecks/naturalprover
• 相关论文: NaturalProver: Grounded Mathematical Proof Generation with Language Models
• 作者: Sean Welleck, Jiacheng Liu, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi
• 发表会议: NeurIPS 2022

许可信息

• 许可证: MIT

引用信息

• 引用格式:

  @inproceedings{welleck2022naturalprover, title={NaturalProver: Grounded Mathematical Proof Generation with Language Models}, author={Sean Welleck and Jiacheng Liu and Ximing Lu and Hannaneh Hajishirzi and Yejin Choi}, booktitle={Advances in Neural Information Processing Systems}, editor={Alice H. Oh and Alekh Agarwal and Danielle Belgrave and Kyunghyun Cho}, year={2022}, url={https://openreview.net/forum?id=rhdfTOiXBng} }