visproj/proofkit-sft download history

visproj/proofkit-sft is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 16 times (3 in the last 7 days), and 207 times in total. It ranks #434,073 among datasets by monthly downloads.

ProofKit SFT dataset The supervised fine-tuning set for ProofKit's small models (~7,000 chat examples). Fully synthetic and license-safe — examples are generated deterministically from ProofKit's own templates, demo profiles, and role-knowledge records (data/finetune/build_dataset.py)

Models trained on proofkit-sft

4 models list it as training data.

• visproj/proofkit-qwen0.5b-7k 18 downloads in 30 days
• build-small-hackathon/proofkit-qwen0.5b-7k 16 downloads in 30 days
• build-small-hackathon/proofkit-gpt-oss-20b-lora 8 downloads in 30 days
• visproj/proofkit-gpt-oss-20b-lora 6 downloads in 30 days

Open visproj/proofkit-sft on Hugging Face

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