---
base_model: deepseek-ai/DeepSeek-Prover-V2-7B
tags:
- mlx
---

# cnfusion/DeepSeek-Prover-V2-7B-mlx-8Bit

The Model [cnfusion/DeepSeek-Prover-V2-7B-mlx-8Bit](https://huggingface.co/cnfusion/DeepSeek-Prover-V2-7B-mlx-8Bit) was converted to MLX format from [deepseek-ai/DeepSeek-Prover-V2-7B](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B) using mlx-lm version **0.22.3**.

## Use with mlx

```bash
pip install mlx-lm
```

```python
from mlx_lm import load, generate

model, tokenizer = load("cnfusion/DeepSeek-Prover-V2-7B-mlx-8Bit")

prompt="hello"

if hasattr(tokenizer, "apply_chat_template") and tokenizer.chat_template is not None:
    messages = [{"role": "user", "content": prompt}]
    prompt = tokenizer.apply_chat_template(
        messages, tokenize=False, add_generation_prompt=True
    )

response = generate(model, tokenizer, prompt=prompt, verbose=True)
```