- Libraries
- Transformers
How to use hai1710/Deepseek-Distill-7B-ProofWriter-sft with Transformers:
# Use a pipeline as a high-level helper
from transformers import pipeline
pipe = pipeline("text-generation", model="hai1710/Deepseek-Distill-7B-ProofWriter-sft")
messages = [
{"role": "user", "content": "Who are you?"},
]
pipe(messages) # Load model directly
from transformers import AutoTokenizer, AutoModelForCausalLM
tokenizer = AutoTokenizer.from_pretrained("hai1710/Deepseek-Distill-7B-ProofWriter-sft")
model = AutoModelForCausalLM.from_pretrained("hai1710/Deepseek-Distill-7B-ProofWriter-sft")
messages = [
{"role": "user", "content": "Who are you?"},
]
inputs = tokenizer.apply_chat_template(
messages,
add_generation_prompt=True,
tokenize=True,
return_dict=True,
return_tensors="pt",
).to(model.device)
outputs = model.generate(**inputs, max_new_tokens=40)
print(tokenizer.decode(outputs[0][inputs["input_ids"].shape[-1]:])) - Inference
-
- Notebooks
- Google Colab
- Kaggle
- Local Apps
- vLLM
How to use hai1710/Deepseek-Distill-7B-ProofWriter-sft with vLLM:
Install from pip and serve model
# Install vLLM from pip:
pip install vllm
# Start the vLLM server:
vllm serve "hai1710/Deepseek-Distill-7B-ProofWriter-sft"
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:8000/v1/chat/completions" \
-H "Content-Type: application/json" \
--data '{
"model": "hai1710/Deepseek-Distill-7B-ProofWriter-sft",
"messages": [
{
"role": "user",
"content": "What is the capital of France?"
}
]
}'Use Docker
docker model run hf.co/hai1710/Deepseek-Distill-7B-ProofWriter-sft
- SGLang
How to use hai1710/Deepseek-Distill-7B-ProofWriter-sft 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 "hai1710/Deepseek-Distill-7B-ProofWriter-sft" \
--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": "hai1710/Deepseek-Distill-7B-ProofWriter-sft",
"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 "hai1710/Deepseek-Distill-7B-ProofWriter-sft" \
--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": "hai1710/Deepseek-Distill-7B-ProofWriter-sft",
"messages": [
{
"role": "user",
"content": "What is the capital of France?"
}
]
}' - Unsloth Studio new
How to use hai1710/Deepseek-Distill-7B-ProofWriter-sft with Unsloth Studio:
Install Unsloth Studio (macOS, Linux, WSL)
curl -fsSL https://unsloth.ai/install.sh | sh
# Run unsloth studio
unsloth studio -H 0.0.0.0 -p 8888
# Then open http://localhost:8888 in your browser
# Search for hai1710/Deepseek-Distill-7B-ProofWriter-sft to start chatting
Install Unsloth Studio (Windows)
irm https://unsloth.ai/install.ps1 | iex
# Run unsloth studio
unsloth studio -H 0.0.0.0 -p 8888
# Then open http://localhost:8888 in your browser
# Search for hai1710/Deepseek-Distill-7B-ProofWriter-sft to start chatting
Using HuggingFace Spaces for Unsloth
# No setup required
# Open https://huggingface.co/spaces/unsloth/studio in your browser
# Search for hai1710/Deepseek-Distill-7B-ProofWriter-sft to start chatting
Load model with FastModel
pip install unsloth
from unsloth import FastModel
model, tokenizer = FastModel.from_pretrained(
model_name="hai1710/Deepseek-Distill-7B-ProofWriter-sft",
max_seq_length=2048,
) - Docker Model Runner
How to use hai1710/Deepseek-Distill-7B-ProofWriter-sft with Docker Model Runner:
docker model run hf.co/hai1710/Deepseek-Distill-7B-ProofWriter-sft
Browse
Quantizations to use this model in
llama.cpp,
Ollama,
LM Studio, or any compatible app.
