Views
No views yet
DeepSeek-R1-Distill-Qwen-7B as the target, built for consumer CPUs and
llama.cpp -md. Part of the Horizon
project: a verification-first layer for local LLMs, by the team behind
vexp.-md. A stock Qwen2.5-0.5B does not pair (different special tokens,
151936 vocab), and through permissive paths it reaches only τ≈1.| Config | Code generation | Reasoning segment | RSS |
|---|---|---|---|
| 7B Q4_K_M autoregressive | 8.1 t/s | 8.1 t/s | 7.7 GB |
| + this drafter (Q8_0, γ=8) | 10.7-15.1 t/s (mean 13.3, 1.65×) | 7.1-9.4 (neutral) | 8.3 GB |
| + same-family 1.5B draft | 7.1-10.9 (no gain) | 5.3 (hurts) | 9.4 GB |
1llama-speculative -m DeepSeek-R1-Distill-Qwen-7B-Q4_K_M.gguf \
2 -md horizon-draft-0.5b-q8_0.gguf \
3 --spec-draft-n-max 8 -t 12 -n 512 --temp 0 -p "..."llama-server builds silently skip speculative
decoding (unified KV cache default) while still loading the draft. Verify
acceptance stats are non-zero; the llama-speculative binary is the
reliable path today.train/train_draft.py), corpus recipe and the full
measurement logs are in the
Horizon repository.