deepseek-ai
/

DeepSeek-Prover-V2-7B

Model card Files Files and versions

Parveshiiii commited on May 11

Commit

e7fc888

·

verified ·

1 Parent(s): a8d9e14

Update README.md

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 = """