Pythagoras-LM/SFT_Dataset_Distillation_4B download history

Pythagoras-LM/SFT_Dataset_Distillation_4B is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 60 times (12 in the last 7 days), and 146 times in total. It ranks #162,992 among datasets by monthly downloads.

Pythagoras SFT Dataset Project Page | GitHub | Paper Data Our 4B distillation dataset consists of 336,596 mutated problems paired with Lean formal statements, formal proofs, and reasoning chains: 86,715 easy instances 134,049 medium instances 115,832 hard instances Th

Models trained on SFT_Dataset_Distillation_4B

1 models list it as training data.

Open Pythagoras-LM/SFT_Dataset_Distillation_4B on Hugging Face

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