Views
No views yet
DeepSeek-R1-Distill-Qwen-7B, trained on
decontaminated, domain-filtered distilled traces. Part of the
Horizon project: a verification-first layer
for local LLMs, by the team behind vexp.horizon-math-lora: +6 on MATH-500 in the v1.1 measurement, kept ON.horizon-code-lora: trained on competitive-programming style; it made
HumanEval/MBPP slightly WORSE (-5/-1) and is disabled by default in
the shipped config until retrained on function-completion style.horizon-science-lora: ~neutral.horizon-math-lora, horizon-code-lora,
horizon-science-lora), each a standard PEFT adapter (rank 64).1vllm serve deepseek-ai/DeepSeek-R1-Distill-Qwen-7B \
2 --enable-lora --max-lora-rank 64 \
3 --lora-modules horizon-math-lora=<path>/horizon-math-lora \
4 horizon-code-lora=<path>/horizon-code-lora \
5 horizon-science-lora=<path>/horizon-science-lora1from peft import PeftModel
2model = PeftModel.from_pretrained(base_model, "vexp-ai/horizon-loras", subfolder="horizon-math-lora")train/train_lora.py, data preparation and
decontamination included) in the Horizon repository:
about $12 of GPU time total on a rented 24 GB card.