Use the latest transformers for this model.
- Downloads last month
- 0
Inference Providers
NEW
This model is not currently available via any of the supported Inference Providers.
The model cannot be deployed to the HF Inference API:
The model has no library tag.
Model tree for brunopio/DeepSeek-Prover-V1.5-RL-nbits4-GSNone-Axis0-HQQ-T
Base model
deepseek-ai/DeepSeek-Prover-V1.5-Base
Finetuned
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Finetuned
deepseek-ai/DeepSeek-Prover-V1.5-RL