license:mit math theorem-proving arxiv:2205.12910 region:us
---
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}
}
```