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.5-RL
Quantizations
Merges
Inference Providers
Select all
SambaNova
Replicate
Cerebras
Fireworks
Hyperbolic
fal
Novita
Together AI
Nebius AI Studio
HF Inference API
Misc
Inference Endpoints
AutoTrain Compatible
text-generation-inference
Eval Results
Merge
4-bit precision
8-bit precision
custom_code
text-embeddings-inference
Carbon Emissions
Mixture of Experts
Apply filters
Models
7
Full-text search
Edit filters
Sort: Trending
Active filters:
deepseek-ai/DeepSeek-Prover-V1.5-RL
Clear all
mradermacher/DeepSeek-Prover-V1.5-RL-GGUF
Updated
Feb 7
•
145
•
2
arbius/DeepSeek-Prover-V1.5-RL-GGUF
Updated
Aug 18, 2024
•
61
•
4
ijohn07/DeepSeek-Prover-V1.5-RL-Q8_0-GGUF
Updated
Sep 10, 2024
•
2
ijohn07/DeepSeek-Prover-V1.5-RL-Q4_K_M-GGUF
Updated
Sep 10, 2024
•
2
matrixportal/DeepSeek-Prover-V1.5-RL-GGUF
Updated
Jan 22
•
129
brunopio/DeepSeek-Prover-V1.5-RL-nbits4-GS64-Axis1-HQQ-T
Updated
Feb 11
•
6
brunopio/DeepSeek-Prover-V1.5-RL-nbits4-GSNone-Axis0-HQQ-T
Updated
Feb 11
•
7