Pythagoras-LM/SFT_Dataset_Distillation_32B download history

Pythagoras-LM/SFT_Dataset_Distillation_32B is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 66 times (35 in the last 7 days), and 224 times in total. It ranks #152,630 among datasets by monthly downloads.

Pythagoras SFT Dataset Project Page | GitHub | Paper Data Our 32B distillation dataset consists of 329,653 mutated problems paired with Lean formal statements, formal proofs, and reasoning chains: 81,842 easy instances 133,013 medium instances 114,798 hard instances T

Models trained on SFT_Dataset_Distillation_32B

2 models list it as training data.

Open Pythagoras-LM/SFT_Dataset_Distillation_32B on Hugging Face

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