Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Edit Models filters
Main
Tasks
Libraries
Languages
Licenses
Other
1
Model Tree
Reset
deepseek-ai/DeepSeek-Prover-V1
Adapters
Finetunes
Quantizations
Merges
Apps
llama.cpp
LM Studio
Jan
Draw Things
DiffusionBee
JoyFusion
vLLM
Ollama
MLX LM
Docker Model Runner
Lemonade
SGLang
Unsloth
Pi
Inference Providers
Select all
Groq
Novita
Cerebras
SambaNova
Nscale
fal
Hyperbolic
Together AI
Fireworks
Featherless AI
Zai
Replicate
Cohere
Scaleway
Public AI
OVHcloud AI Endpoints
HF Inference API
WaveSpeed
Misc
Inference Endpoints
text-generation-inference
Eval Results (legacy)
text-embeddings-inference
4-bit precision
Merge
custom_code
8-bit precision
Mixture of Experts
Carbon Emissions
Eval Results
Apply filters
Models
8
Full-text search
Inference Available
Edit filters
Sort: Trending
Active filters:
deepseek-ai/DeepSeek-Prover-V1
Clear all
msho/dspv1_sft
Updated
Sep 7, 2024
•
1
msho/dspv1_sft_dspfmt
Updated
Sep 7, 2024
•
1
vincentlinzhu/dspv1_dpo_dspfmt
Updated
Sep 11, 2024
•
1
vincentlinzhu/dspv1_dpo_dspfmt_medium
Updated
Sep 12, 2024
•
1
vincentlinzhu/dspv1_dpo_llemmafmt_medium
Updated
Sep 12, 2024
•
2
msho/dspv1_policy_sft
Updated
Sep 12, 2024
•
1
vincentlinzhu/dspv1_sft_dspfmt_1000
Updated
Sep 13, 2024
•
1
msho/dspv1_sft_1t
Updated
Sep 19, 2024
•
4