CoolFace
Modelpublic

budget-internalization-iclr2027/qwen3.5-4b-32k-grpo-validlemur-s300

sourceHugging Faceapache-2.0updated 4d agoView on Hugging Face
0likes16downloads
Model Card

Qwen3.5-4B · 32k-token budget · grpo · validlemur

RL-finetuned Qwen/Qwen3.5-4B trained for math reasoning under a 32,768-token generation budget. Released as part of an anonymous ICLR 2027 submission.

Run ID (petname): `validlemur` · checkpoint step 300

Training

Base modelQwen/Qwen3.5-4B
AlgorithmGRPO (leave-one-out baseline, group reward normalization, token-level loss). Responses that hit the budget are truncated and scored as-is.
Generation budget (max_new_tokens)32,768
DataDeepScaleR (math), 3 epochs max
Batch32 prompts × 8 rollouts per step
OptimizerAdam, cosine LR schedule, peak LR 5e-7, 10 warmup steps
Steps300
Rewardbinary answer correctness (\boxed{} extraction)
Weights dtypeBF16

Training prompt (user turn, rendered with the base model's chat template):

Think step-by-step to solve the following problem. Output your answer inside of \\boxed{} tags.:
{problem}

Let's think step-by-step

Usage

python
from transformers import AutoModelForCausalLM, AutoTokenizer

repo = "budget-internalization-iclr2027/qwen3.5-4b-32k-grpo-validlemur-s300"
tok = AutoTokenizer.from_pretrained(repo)
model = AutoModelForCausalLM.from_pretrained(repo, torch_dtype="auto", device_map="auto")

With vLLM: vllm serve budget-internalization-iclr2027/qwen3.5-4b-32k-grpo-validlemur-s300

License

Inherits the license of the base model (Qwen/Qwen3.5-4B).