SFT_dataset_v2
收藏官方服务：
资源简介：
# Goedel-Prover-V2 SFT Dataset SFT data. Total: 1,745,010 samples. See [Goedel-Prover-V2 paper](https://arxiv.org/abs/2508.03613). ## Citation ``` @article{lin2025goedel, title={Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction}, author={Lin, Yong and Tang, Shange and Lyu, Bohan and Yang, Ziran and Chung, Jui-Hui and Zhao, Haoyu and Jiang, Lai and Geng, Yihan and Ge, Jiawei and Sun, Jingruo and others}, journal={arXiv preprint arXiv:2508.03613}, year={2025} } ```
提供机构：
maas创建时间：
2026-02-26
