Lean-workbook-proofs
收藏魔搭社区2025-12-05 更新2025-07-26 收录
下载链接：
https://modelscope.cn/datasets/Goedel-LM/Lean-workbook-proofs
下载链接
链接失效反馈官方服务：
资源简介：
This is the 29.7 solutions of Lean-workbook found by [Goedel-Prover-SFT](https://goedel-lm.github.io/).
## Citation
```latex
@misc{lin2025goedelproverfrontiermodelopensource,
title={Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving},
author={Yong Lin and Shange Tang and Bohan Lyu and Jiayun Wu and Hongzhou Lin and Kaiyu Yang and Jia Li and Mengzhou Xia and Danqi Chen and Sanjeev Arora and Chi Jin},
year={2025},
eprint={2502.07640},
archivePrefix={arXiv},
primaryClass={cs.LG},
url={https://arxiv.org/abs/2502.07640},
}
```
本数据集为由哥德尔Prover-SFT（Goedel-Prover-SFT）所求解得到的29.7组Lean工作簿（Lean-workbook）解题方案。
## 引用
latex
@misc{lin2025goedelproverfrontiermodelopensource,
title={《哥德尔Prover：一款面向开源自动定理证明的前沿模型》},
author={Yong Lin and Shange Tang and Bohan Lyu and Jiayun Wu and Hongzhou Lin and Kaiyu Yang and Jia Li and Mengzhou Xia and Danqi Chen and Sanjeev Arora and Chi Jin},
year={2025},
eprint={2502.07640},
archivePrefix={arXiv},
primaryClass={cs.LG},
url={https://arxiv.org/abs/2502.07640},
}
提供机构：
maas
创建时间：
2025-07-22
