deepseek-ai
/

DeepSeek-Prover-V2-7B

Model card Files Files and versions

Update README.md

#5

by Parveshiiii - opened May 11

base: refs/heads/main

←

from: refs/pr/5

Discussion Files changed

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -121,7 +121,7 @@ from transformers import AutoModelForCausalLM, AutoTokenizer
 import torch
 torch.manual_seed(30)
-model_id = "DeepSeek-Prover-V2-7B"  # or DeepSeek-Prover-V2-671B
 tokenizer = AutoTokenizer.from_pretrained(model_id)
 formal_statement = """

 import torch
 torch.manual_seed(30)
+model_id = "deepseek-ai/DeepSeek-Prover-V2-7B"  # or DeepSeek-Prover-V2-671B
 tokenizer = AutoTokenizer.from_pretrained(model_id)
 formal_statement = """