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} }