kfdong
STP_model_Lean
Based on deepseek-ai/DeepSeek-Prover-V1.5-SFT
Tags
- safetensors
- llama
- 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
- region:us
- Author
- kfdong
- Task
- text-generation
- Library
- transformers
- Architecture
- llama
- License
- mit
- Base model
- deepseek-ai/DeepSeek-Prover-V1.5-SFT
- Downloads
- 33
- Likes
- 3