Goedel-LM/SFT_dataset_v2 download history

Goedel-LM/SFT_dataset_v2 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 532 times (89 in the last 7 days), and 7,217 times in total. It ranks #31,598 among datasets by monthly downloads.

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

Open Goedel-LM/SFT_dataset_v2 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.