Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
Edit Models filters
Tasks
Libraries
Datasets
Languages
Licenses
Other
1
Model Tree
Reset
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Adapters
Finetunes
Quantizations
Inference status
Reset Inference status
Warm
Cold
Frozen
Misc
Reset Misc
Inference Endpoints
AutoTrain Compatible
text-generation-inference
Eval Results
4-bit precision
Merge
custom_code
text-embeddings-inference
8-bit precision
Carbon Emissions
Mixture of Experts
Apply filters
Models
2
Full-text search
Edit filters
Sort: Trending
Active filters:
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Clear all
ijohn07/DeepSeek-Prover-V1.5-SFT-Q4_K_M-GGUF
Updated
Sep 10
•
4
ijohn07/DeepSeek-Prover-V1.5-SFT-Q8_0-GGUF
Updated
Sep 10
•
6