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 autotrain_compatible text-generation-inference endpoints_compatible region:us
Large (5-20GB)