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
Quantizations
Inference Providers
Select all
Novita
SambaNova
Cohere
Replicate
Hyperbolic
Fireworks
Nebius AI Studio
fal
Cerebras
Together AI
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
2
Full-text search
Edit filters
Sort: Trending
Active filters:
deepseek-ai/DeepSeek-Prover-V1
Clear all
mradermacher/DeepSeek-Prover-V1-GGUF
Updated
Mar 31
•
270
•
1
matrixportal/DeepSeek-Prover-V1-Q4_0-GGUF
Updated
Dec 30, 2024
•
33