naturalproofs:自然证明

自然证明：自然语言中的数学定理证明 肖恩·韦勒克（Sean Welleck），刘嘉成（Chenggh Liu），罗南·勒布拉斯（Ronan Le Bras），汉娜娜·哈吉希尔（Hannaneh Hajishirzi），崔业珍（Yejin Choi），赵庆gh（Kyunghyun Cho） 此回购包含： NaturalProofs数据集和数学参考检索任务数据。 预处理NaturalProofs和检索任务数据。 数学参考检索的培训和评估。 用于数学参考检索的预训练模型。 如果您发现此存储库中的资源有用，请引用我们的工作： @article{welleck2021naturalproofs, title={NaturalProofs: Mathematical Theorem Proving in Natural Language}, author={Welleck, S