How to use from the
Use from the
Transformers library
# Use a pipeline as a high-level helper
from transformers import pipeline

pipe = pipeline("text-generation", model="JamesX421/SOLID-StepORLM-Qwen3-8B")
messages = [
    {"role": "user", "content": "Who are you?"},
]
pipe(messages)
# Load model directly
from transformers import AutoTokenizer, AutoModelForCausalLM

tokenizer = AutoTokenizer.from_pretrained("JamesX421/SOLID-StepORLM-Qwen3-8B")
model = AutoModelForCausalLM.from_pretrained("JamesX421/SOLID-StepORLM-Qwen3-8B", device_map="auto")
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]:]))
Quick Links

SOLID-StepORLM-Qwen3-8B

This is the step-125 checkpoint of SOLID (Solver-Informed Self-Distillation) built from Chenyu-Zhou/StepORLM-Qwen3-8B for operations-research modeling and solver-backed answer generation.

The model was trained with GRPO and solver-informed token-level KL supervision. It uses the COPT-style StepORLM response template.

Evaluation

Each problem was sampled 64 times. maj@64 is majority-vote accuracy; pass@k uses the unbiased pass-at-k estimator. Objective correctness tolerance is 0.001. The table uses the selected, coherent step-125 generation-B run.

Dataset maj@64 pass@1 pass@2 pass@4
OptMATH 31.33 18.25 24.40 30.28
MAMO-Complex 70.44 66.43 71.58 74.79
InOR 48.00 39.81 46.07 50.59

Usage

from transformers import AutoModelForCausalLM, AutoTokenizer

model_id = "JamesX421/SOLID-StepORLM-Qwen3-8B"
tokenizer = AutoTokenizer.from_pretrained(model_id)
model = AutoModelForCausalLM.from_pretrained(
    model_id,
    torch_dtype="auto",
    device_map="auto",
)

The generated optimization code expects a compatible COPT environment for execution.

Downloads last month
246
Safetensors
Model size
8B params
Tensor type
BF16
·
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for JamesX421/SOLID-StepORLM-Qwen3-8B

Finetuned
(2)
this model
Quantizations
1 model