
## 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}
}
```
license:mit math theorem-proving arxiv:2205.12910 region:us
{"license": "mit", "tags": ["math", "theorem-proving"]}
TAGS
#license-mit #math #theorem-proving #arxiv-2205.12910 #region-us 


## Dataset Description

- Repository: wellecks/naturalprover
- Paper: NaturalProver: Grounded Mathematical Proof Generation with Language Models
- Point of Contact: Sean Welleck

# Naturalproofs-gen

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

NaturalProver: Grounded Mathematical Proof Generation with Language Models\
Sean Welleck\*, Jiacheng Liu\*, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi\
NeurIPS 2022

### Licensing Information

MIT



Please cite:


Naturalproofs-gen was built from the Naturalproofs corpus:


## Dataset Description

- Repository: wellecks/naturalprover
- Paper: NaturalProver: Grounded Mathematical Proof Generation with Language Models
- Point of Contact: Sean Welleck # Naturalproofs-gen

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

NaturalProver: Grounded Mathematical Proof Generation with Language Models\
Sean Welleck\*, Jiacheng Liu\*, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi\
NeurIPS 2022 ### Licensing Information

MIT



Please cite:


Naturalproofs-gen was built from the Naturalproofs corpus:
TAGS
#license-mit #math #theorem-proving #arxiv-2205.12910 #region-us 
 ## Dataset Description

- Repository: wellecks/naturalprover
- Paper: NaturalProver: Grounded Mathematical Proof Generation with Language Models
- Point of Contact: Sean Welleck # Naturalproofs-gen

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

NaturalProver: Grounded Mathematical Proof Generation with Language Models\
Sean Welleck\*, Jiacheng Liu\*, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi\
NeurIPS 2022 ### Licensing Information

MIT



Please cite:


Naturalproofs-gen was built from the Naturalproofs corpus:
passage: TAGS
#license-mit #math #theorem-proving #arxiv-2205.12910 #region-us 
## Dataset Description

- Repository: wellecks/naturalprover
- Paper: NaturalProver: Grounded Mathematical Proof Generation with Language Models
- Point of Contact: Sean Welleck# Naturalproofs-gen

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

NaturalProver: Grounded Mathematical Proof Generation with Language Models\
Sean Welleck\*, Jiacheng Liu\*, Ximing Lu, Hannaneh Hajishirzi, Yejin Choi\
NeurIPS 2022### Licensing Information

MIT



Please cite:


Naturalproofs-gen was built from the Naturalproofs corpus: