deepseek-ai
/

DeepSeek-Prover-V1

Model card Files Files and versions

deepseekrzz commited on Aug 16, 2024

Commit

f2087b6

·

verified ·

1 Parent(s): 941af00

Update README.md

Files changed (1) hide show

README.md +4 -3

README.md CHANGED Viewed

@@ -74,15 +74,16 @@ Proof assistants like Lean have revolutionized mathematical proof verification,
 </div>
-## 3. Model Downloads
-We release the DeepSeek-Prover-V1.5 with 7B parameters to the public.
 <div align="center">
-|            **Model**            |                          **Download**                         |
 | :-----------------------------: | :----------------------------------------------------------: |
 |   DeepSeek-Prover-V1   | [🤗 HuggingFace](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1) |
 </div>

 </div>
+## 3. Model & Dataset Downloads
+We release the DeepSeek-Prover-V1 along with the synthetic dataset to the public.
 <div align="center">
+|            **Model & Dataset**            |                          **Download**                         |
 | :-----------------------------: | :----------------------------------------------------------: |
 |   DeepSeek-Prover-V1   | [🤗 HuggingFace](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1) |
+|   Synthetic Dataset    | [🤗 HuggingFace](https://huggingface.co/datasets/deepseek-ai/DeepSeek-Prover-V1) |
 </div>