How to use from
llama.cpp
Install (macOS, Linux)
curl -LsSf https://llama.app/install.sh | sh
# Start a local OpenAI-compatible server with a web UI:
llama serve -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
# Run inference directly in the terminal:
llama cli -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
Install from WinGet (Windows)
winget install llama.cpp
# Start a local OpenAI-compatible server with a web UI:
llama serve -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
# Run inference directly in the terminal:
llama cli -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
Use pre-built binary
# Download pre-built binary from:
# https://github.com/ggerganov/llama.cpp/releases
# Start a local OpenAI-compatible server with a web UI:
./llama-server -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
# Run inference directly in the terminal:
./llama-cli -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
Build from source code
git clone https://github.com/ggerganov/llama.cpp.git
cd llama.cpp
cmake -B build
cmake --build build -j --target llama-server llama-cli
# Start a local OpenAI-compatible server with a web UI:
./build/bin/llama-server -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
# Run inference directly in the terminal:
./build/bin/llama-cli -hf nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
Use Docker
docker model run hf.co/nbeerbower/Hemlock2-Coder-7B-GRPO:Q8_0
Quick Links

Hemlock2-Coder-7B-GRPO

hemlang/Hemlock2-Coder-7B improved with execution-reward GRPO (grimoire ≥ 2.0 / hemlock-rl). Completions were executed in the Hemlock interpreter's sandbox and rewarded for exactly reproducing verified reference stdout.

Strictly improves the base model on hembench (zero-shot, n=5, benchmark-overlapping training tasks held out):

pass@1 pass@5
Hemlock2-Coder-7B 28.9% 55.3%
Hemlock2-Coder-7B-GRPO 36.8% (+7.9) 57.9% (+2.6)

Largest gains in syntax (L1 pass@1 2/9 → 4/9, pass@5 7/9 → 8/9) and systems/concurrency (L4 pass@1 1/7 → 3/7).

Training

  • Method: GRPO (LoRA r=16 α=32, β=0.1 KL vs frozen base, G=8, dynamic sampling, unscaled advantages), 186 deduplicated prompts × 3 epochs.
  • Rewards: sandboxed execution; exact stdout match vs verified reference = 2.0, runs-but-wrong = 0.5, error = −0.5, no code / timeout = −1.0.
  • Data: execution-verified translation/generation tasks (now published as hemlang/hemlock-codex3-SFT), one language-variant per task, hembench-name-overlapping tasks excluded.

Q8_0 GGUF included.

Downloads last month
112
Safetensors
Model size
8B params
Tensor type
BF16
·
Video Preview
loading

Model tree for nbeerbower/Hemlock2-Coder-7B-GRPO

Base model

Qwen/Qwen2.5-7B
Quantized
(3)
this model
Quantizations
2 models

Dataset used to train nbeerbower/Hemlock2-Coder-7B-GRPO