Pythagoras-LM/SFT_Dataset download history

Pythagoras-LM/SFT_Dataset is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 113 times (13 in the last 7 days), and 695 times in total. It ranks #104,417 among datasets by monthly downloads.

Pythagoras SFT Dataset Project Page | GitHub | Paper Data Our training dataset consists of approximately 841K problems paired with Lean formal statements, formal proofs, and reasoning chains. We release a partial subset, which consists of 126K instances: 30K easy insta

Models trained on SFT_Dataset

4 models list it as training data.

• Pythagoras-LM/Pythagoras-Prover-4B 742 downloads in 30 days
• mradermacher/Pythagoras-Prover-32B-GGUF 486 downloads in 30 days
• Pythagoras-LM/Pythagoras-Prover-32B 96 downloads in 30 days
• Pythagoras-LM/Pythagoras-Prover-Diffusion-4B 93 downloads in 30 days

Open Pythagoras-LM/SFT_Dataset on Hugging Face

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