Hugging Face's logo

haielab
/
DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config-conjecture-base-FineTune-new-config-v2

Text Generation
Transformers
Safetensors
PEFT
English
code
lora
causal-lm
theorem-proving
stp
flash-attn-2
bf16
conversational
Model card Files
xet
Community
haielab commited on
Commit
bd44455
·
verified ·
1 Parent(s): a797417

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -0
README.md CHANGED
@@ -31,6 +31,7 @@ This model card describes a LoRA adapter fine-tuned from **`deepseek-ai/DeepSeek
31
 
32
  | Field | Value |
33
  |-------|-------|
 
34
  | **Model type** | 7.78 B-parameter causal-LM + LoRA |
35
  | **Languages** | English & Code |
36
  | **Finetuned from** | `deepseek-ai/DeepSeek-Prover-V2-7B` |
 
31
 
32
  | Field | Value |
33
  |-------|-------|
34
+ | **Developed by** | HAIELab |
35
  | **Model type** | 7.78 B-parameter causal-LM + LoRA |
36
  | **Languages** | English & Code |
37
  | **Finetuned from** | `deepseek-ai/DeepSeek-Prover-V2-7B` |