LLM EXPLORER 59,420 MODELS INDEXED

STP Model Lean 0320 by kfdong

By kfdong · 150 downloads
HF Repo ↗ Copy URL

STP Model Lean 0320 is an open-source language model by kfdong. Features: 6.9b LLM, VRAM: 13.8GB, Context: 4K, License: mit, LLM Explorer Score: 0.17.

  Arxiv:2502.00212 Base model:deepseek-ai/deepsee... Base model:finetune:deepseek-a...   Conversational   Dataset:internlm/lean-workbook   Dataset:kfdong/stp lean 0320   Endpoints compatible   Llama   Region:us   Safetensors   Sharded   Tensorflow
Model Card on HF 🤗: https://huggingface.co/kfdong/STP_model_Lean_0320 

STP Model Lean 0320 Parameters and Internals

LLM NameSTP Model Lean 0320
Repository 🤗https://huggingface.co/kfdong/STP_model_Lean_0320 
Base Model(s)  deepseek-ai/DeepSeek-Prover-V1.5-SFT   deepseek-ai/DeepSeek-Prover-V1.5-SFT
Model Size6.9b
Required VRAM13.8 GB
Updated2026-07-31
Maintainerkfdong
Model Typellama
Model Files  4.9 GB: 1-of-3   5.0 GB: 2-of-3   3.9 GB: 3-of-3
Model ArchitectureLlamaForCausalLM
Licensemit
Context Length4096
Model Max Length4096
Transformers Version4.48.3
Padding Token[PAD]
Vocabulary Size100004

Best Alternatives to STP Model Lean 0320

Best Alternatives
Context / RAM
Downloads
Likes
Bolna Lead Qualification16K / 13.8 GB63
Sambanova Llama2 1004K / 13.9 GB50
Mymath Merged 014K / 13.9 GB60
Gorilla Finetuned4K / 13.8 GB80
Deep Neural V14K / 27.7 GB650
ProofSeeker V14K / 13.9 GB250
...j Pair8 Ds Coder Rmsprop Iter44K / 13.9 GB1450
... Ds Coder Reflct Rmsprop Iter44K / 13.9 GB1050
...8 Ds Chat Reflct Rmsprop Iter24K / 13.9 GB870
... Ds Coder Reflct Rmsprop Iter34K / 13.9 GB700
Note: green Score (e.g. "73.2") means that the model is better than kfdong/STP_model_Lean_0320.