deepseek-ai/DeepSeek-Prover-V1 download history
deepseek-ai/DeepSeek-Prover-V1 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 815 times (106 in the last 7 days), and 10,927 times in total. It ranks #22,540 among datasets by monthly downloads.
Evaluation Results | Model & Dataset Downloads | License | Contact Paper Link👁️ DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data 1. In
Models trained on DeepSeek-Prover-V1
24 models list it as training data.
- bartowski/YuLan-Mini-GGUF 1.5K downloads in 30 days
- diskrot/YuLan-Mini-diskrot 566 downloads in 30 days
- mradermacher/YuLan-Mini-GGUF 389 downloads in 30 days
- diskrot/YuLan-Mini-GGUF-diskrot 374 downloads in 30 days
- yulan-team/YuLan-Mini 303 downloads in 30 days
- QuantFactory/YuLan-Mini-GGUF 300 downloads in 30 days
- tensorblock/YuLan-Mini-GGUF 236 downloads in 30 days
- WithinUsAI/Agent.Nano.Coder-2B-gguf 106 downloads in 30 days
- itlwas/YuLan-Mini-Q4_K_M-GGUF 37 downloads in 30 days
- matrixportalx/YuLan-Mini-Q8_0-GGUF 37 downloads in 30 days
- NikolayKozloff/YuLan-Mini-Q8_0-GGUF 23 downloads in 30 days
- matrixportalx/YuLan-Mini-Q4_0-GGUF 18 downloads in 30 days