{"id":"4bf14bf9-5f08-4a7b-a1ed-888a2321c31a","slug":"hf-model-kfdong-stp-model-lean-4ca3r9-l","name":"STP_model_Lean","description":"Hugging Face model kfdong/STP_model_Lean. Task: text generation. Library: transformers. 35 downloads. 3 likes.","capabilities":["transformers","safetensors","llama","text-generation","conversational","dataset:kfdong/STP_Lean","dataset:internlm/Lean-Workbook","arxiv:2502.00212","base_model:deepseek-ai/DeepSeek-Prover-V1.5-SFT","base_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-SFT","license:mit","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":34.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:30.404Z"}