haielab
/

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

Text Generation

theorem-proving

Model card Files Files and versions

haielab commited on Jul 22

Commit

a797417

·

verified ·

1 Parent(s): 08338e8

Update README.md

Files changed (1) hide show

README.md +0 -1

README.md CHANGED Viewed

@@ -31,7 +31,6 @@ This model card describes a LoRA adapter fine-tuned from **`deepseek-ai/DeepSeek
 | Field | Value |
 |-------|-------|
-| **Developed by** | *Not specified in logs* |
 | **Model type** | 7.78 B-parameter causal-LM + LoRA |
 | **Languages** | English & Code |
 | **Finetuned from** | `deepseek-ai/DeepSeek-Prover-V2-7B` |

 | Field | Value |
 |-------|-------|
 | **Model type** | 7.78 B-parameter causal-LM + LoRA |
 | **Languages** | English & Code |
 | **Finetuned from** | `deepseek-ai/DeepSeek-Prover-V2-7B` |