kfdong/STP_model_Lean download history
kfdong/STP_model_Lean is a 6.9B-parameter text generation model by kfdong. In the last 30 days it was downloaded 26 times (4 in the last 7 days), and 16,166 times in total.
It ranks #341,510 on the Hub by monthly downloads and #95,529 among text generation models.
It has 3 likes.
It is a fine-tune of deepseek-ai/DeepSeek-Prover-V1.5-SFT.