Hugging Face
Models
Datasets
Spaces
Community
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
Backyard AI
Draw Things
DiffusionBee
Jellybox
RecurseChat
Msty
Sanctum
Invoke
JoyFusion
LocalAI
vLLM
node-llama-cpp
Ollama
TGI
MLX LM
Docker Model Runner
Inference Providers
Select all
Fireworks
Cerebras
Novita
Nebius AI
Groq
Together AI
Hyperbolic
Nscale
fal
Featherless AI
SambaNova
Replicate
Cohere
HF Inference API
Misc
Inference Endpoints
text-generation-inference
Eval Results
Merge
4-bit precision
custom_code
8-bit precision
text-embeddings-inference
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, 2024
•
2
msho/dspv1_sft_dspfmt
Updated
Sep 7, 2024
•
2
vincentlinzhu/dspv1_dpo_dspfmt
Updated
Sep 11, 2024
•
2
vincentlinzhu/dspv1_dpo_dspfmt_medium
Updated
Sep 12, 2024
•
2
vincentlinzhu/dspv1_dpo_llemmafmt_medium
Updated
Sep 12, 2024
•
2
msho/dspv1_policy_sft
Updated
Sep 12, 2024
•
2
vincentlinzhu/dspv1_sft_dspfmt_1000
Updated
Sep 13, 2024
•
2
msho/dspv1_sft_1t
Updated
Sep 19, 2024
•
2
