Hugging Face model: kfdong/STP_model_Lean_0320
Author: kfdong
Created: 2025-03-20 17:32:37
Last modified: 2025-03-24 17:51:17
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 183
Tags: 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, region:us
Base model relation: finetune
Base models: id: deepseek-ai/DeepSeek-Prover-V1.5-SFT
Card metadata:
base_model: deepseek-ai/DeepSeek-Prover-V1.5-SFT
datasets: kfdong/STP_Lean_0320, internlm/Lean-Workbook
license: mit
library_name: transformers
pipeline_tag: text-generation