Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Edit Models filters
Tasks
Libraries
Datasets
Languages
Licenses
Other
1
Model Tree
Reset
deepseek-ai/DeepSeek-Prover-V1
Adapters
Inference status
Reset Inference status
Warm
Cold
Frozen
Misc
Reset Misc
Inference Endpoints
AutoTrain Compatible
text-generation-inference
Eval Results
Merge
4-bit precision
custom_code
text-embeddings-inference
8-bit precision
Carbon Emissions
Mixture of Experts
Apply filters
Models
8
Full-text search
Edit filters
Sort: Trending
Active filters:
deepseek-ai/DeepSeek-Prover-V1
Clear all
msho/dspv1_sft
Updated
Sep 7
•
2
msho/dspv1_sft_dspfmt
Updated
Sep 7
•
2
vincentlinzhu/dspv1_dpo_dspfmt
Updated
Sep 11
•
3
vincentlinzhu/dspv1_dpo_dspfmt_medium
Updated
Sep 12
•
2
vincentlinzhu/dspv1_dpo_llemmafmt_medium
Updated
Sep 12
•
2
msho/dspv1_policy_sft
Updated
Sep 12
vincentlinzhu/dspv1_sft_dspfmt_1000
Updated
Sep 13
msho/dspv1_sft_1t
Updated
Sep 19
•
1