Instructions to use deepseek-ai/DeepSeek-V4-Pro with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use deepseek-ai/DeepSeek-V4-Pro with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="deepseek-ai/DeepSeek-V4-Pro") messages = [ {"role": "user", "content": "Who are you?"}, ] pipe(messages)# Load model directly from transformers import AutoTokenizer, AutoModelForCausalLM tokenizer = AutoTokenizer.from_pretrained("deepseek-ai/DeepSeek-V4-Pro") model = AutoModelForCausalLM.from_pretrained("deepseek-ai/DeepSeek-V4-Pro", device_map="auto") - Inference
- HuggingChat
- Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- vLLM
How to use deepseek-ai/DeepSeek-V4-Pro with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "deepseek-ai/DeepSeek-V4-Pro" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "deepseek-ai/DeepSeek-V4-Pro", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/deepseek-ai/DeepSeek-V4-Pro
- SGLang
How to use deepseek-ai/DeepSeek-V4-Pro with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "deepseek-ai/DeepSeek-V4-Pro" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "deepseek-ai/DeepSeek-V4-Pro", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "deepseek-ai/DeepSeek-V4-Pro" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "deepseek-ai/DeepSeek-V4-Pro", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }' - Docker Model Runner
How to use deepseek-ai/DeepSeek-V4-Pro with Docker Model Runner:
docker model run hf.co/deepseek-ai/DeepSeek-V4-Pro
Update LEXam-hard evaluation result
Browse filesAdds this model's score on the [LEXam-hard](https://huggingface.co/datasets/joelniklaus/LEXam-hard) benchmark, the 518 LEXam open questions the strongest open models score lowest on.
The score is the DeepSeek-R1-0528 judge grade (0-100) over those questions, aggregated as SwissLegalEvals aggregates LEXam (mean of the German and English means), recomputed from the per-sample outputs of the [SwissLegalEvals](https://huggingface.co/blog/joelniklaus/swiss-legal-evals) run (lighteval, LEXam paper prompts, one response per question, no tools). The raw outputs are in the public `joelniklaus/SwissLegalEvals` bucket; the recomputation is `reproduction/lexam_hard_results.py` in the dataset repository.
|
@@ -1,12 +1,12 @@
|
|
| 1 |
- dataset:
|
| 2 |
id: joelniklaus/LEXam-hard
|
| 3 |
task_id: lexam_hard
|
| 4 |
-
revision:
|
| 5 |
-
value:
|
| 6 |
date: '2026-06-13'
|
| 7 |
source:
|
| 8 |
url: https://huggingface.co/buckets/joelniklaus/SwissLegalEvals
|
| 9 |
name: SwissLegalEvals per-sample details (lighteval)
|
| 10 |
user: joelniklaus
|
| 11 |
notes: lighteval, LEXam paper prompts, one response per question, no tools; DeepSeek-R1-0528 judge;
|
| 12 |
-
|
|
|
|
| 1 |
- dataset:
|
| 2 |
id: joelniklaus/LEXam-hard
|
| 3 |
task_id: lexam_hard
|
| 4 |
+
revision: 1bd50ee3ac80286fed27e5b89f03f4d8b4494244
|
| 5 |
+
value: 38.93
|
| 6 |
date: '2026-06-13'
|
| 7 |
source:
|
| 8 |
url: https://huggingface.co/buckets/joelniklaus/SwissLegalEvals
|
| 9 |
name: SwissLegalEvals per-sample details (lighteval)
|
| 10 |
user: joelniklaus
|
| 11 |
notes: lighteval, LEXam paper prompts, one response per question, no tools; DeepSeek-R1-0528 judge;
|
| 12 |
+
mean of the German and English means over the 518 questions, 0-100
|