kfdong/STP_model_Lean_0320 download history
kfdong/STP_model_Lean_0320 is a 6.9B-parameter text generation model by kfdong. In the last 30 days it was downloaded 141 times (21 in the last 7 days), and 70,596 times in total.
It ranks #161,770 on the Hub by monthly downloads and #42,399 among text generation models.
It has 1 likes.
It is a fine-tune of deepseek-ai/DeepSeek-Prover-V1.5-SFT.