HF中国镜像站
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Edit Models filters
Tasks
Libraries
Datasets
Languages
Licenses
Other
1
Inference Providers
Select all
Nebius AI Studio
SambaNova
fal
Novita
Fireworks
Together AI
Replicate
Hyperbolic
Cerebras
HF Inference API
Misc
Reset Misc
arxiv:
2408.08152
Misc with no match
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
5
Full-text search
Edit filters
Sort: Trending
Active filters:
2408.08152
Clear all
deepseek-ai/DeepSeek-Prover-V1.5-Base
Updated
Aug 29, 2024
•
2.46k
•
12
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Updated
Aug 29, 2024
•
4.88k
•
9
deepseek-ai/DeepSeek-Prover-V1.5-RL
Updated
Aug 29, 2024
•
22.7k
•
52
c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.2
Updated
Nov 28, 2024
•
20
•
1
c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.4
Updated
Dec 29, 2024
•
8
