lm-provers/FineProofs-SFT download history
lm-provers/FineProofs-SFT is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 361 times (100 in the last 7 days), and 2,931 times in total. It ranks #42,572 among datasets by monthly downloads.
FineProofs SFT Dataset Description FineProofs SFT is a high-quality supervised fine-tuning dataset containing mathematical Olympiad problems paired with chain-of-thought reasoning and formal proofs distilled from DeepSeek-Math-V2. The dataset comprises 7,777 samples (4,300 uniq
Models trained on FineProofs-SFT
1 models list it as training data.
- lm-provers/QED-Nano-SFT 64 downloads in 30 days