{"id":"c12cab21-6e83-4646-aec2-2747ef08ef99","slug":"hf-model-kfdong-stp-model-lean-0320-xl6a89-q","name":"STP_model_Lean_0320","description":"Hugging Face model kfdong/STP_model_Lean_0320. Task: text generation. Library: transformers. 69 downloads. 1 likes.","capabilities":["transformers","safetensors","llama","text-generation","conversational","dataset:kfdong/STP_Lean_0320","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":36,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:50.590Z"}