Goedel-LM/SFT_dataset_v2
Goedel-Prover-V2 SFT Dataset SFT data. Total: 1,745,010 samples. See Goedel-Prover-V2 paper. 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}… See the full description on the dataset page: https://huggingface.co/datasets/Goedel-LM/SFT_dataset_v2.
| Author / organization | Goedel-LM |
|---|---|
| License (as declared) | apache-2.0 |
| Downloads | 584 (as reported by Hugging Face) |
| Likes | 31 |
| Created | 25 February 2026 |
| Last updated at source | 2 March 2026 |
Popularity, last 3 days
584 now (+70 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
Recent changes
- 16 Oct 2026 Description: Goedel-Prover-V2 SFT Dataset SFT data. Total: 1,745,010 samples. See Goedel-Prover-V2 paper. Citation @article{lin2025goedel, title={Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction}, autho → Goedel-Prover-V2 SFT Dataset SFT data. Total: 1,745,010 samples. See Goedel-Prover-V2 paper. Citation @article{lin2025goedel, title={Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self-correction}, autho
Changes detected by Silytics between refreshes of the source.
More from Goedel-LM
- Goedel-LM/Lean-workbook-proofsDataset
- Goedel-LM/Goedel-Pset-v1Dataset
- Goedel-LM/MathOlympiadBenchDataset
- Goedel-LM/RL_dataset_V2Dataset
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.