Text Generation
Transformers
Safetensors
qwen3
solid-opt
operations-research
mathematical-optimization
self-distillation
grpo
conversational
text-generation-inference
Instructions to use AIOR-Research/SOLID-StepORLM with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use AIOR-Research/SOLID-StepORLM with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="AIOR-Research/SOLID-StepORLM") messages = [ {"role": "user", "content": "Who are you?"}, ] pipe(messages)# Load model directly from transformers import AutoTokenizer, AutoModelForCausalLM tokenizer = AutoTokenizer.from_pretrained("AIOR-Research/SOLID-StepORLM") model = AutoModelForCausalLM.from_pretrained("AIOR-Research/SOLID-StepORLM", 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]:])) - Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- vLLM
How to use AIOR-Research/SOLID-StepORLM with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "AIOR-Research/SOLID-StepORLM" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "AIOR-Research/SOLID-StepORLM", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/AIOR-Research/SOLID-StepORLM
- SGLang
How to use AIOR-Research/SOLID-StepORLM with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "AIOR-Research/SOLID-StepORLM" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "AIOR-Research/SOLID-StepORLM", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "AIOR-Research/SOLID-StepORLM" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "AIOR-Research/SOLID-StepORLM", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }' - Docker Model Runner
How to use AIOR-Research/SOLID-StepORLM with Docker Model Runner:
docker model run hf.co/AIOR-Research/SOLID-StepORLM
Update README.md
Browse files
README.md
CHANGED
|
@@ -13,13 +13,13 @@ tags:
|
|
| 13 |
|
| 14 |
# StepORLM-SOLID-opt
|
| 15 |
|
| 16 |
-
This is the
|
| 17 |
|
| 18 |
The model was trained with GRPO and solver-informed token-level KL supervision. It uses the COPT-style StepORLM response template.
|
| 19 |
|
| 20 |
## Evaluation
|
| 21 |
|
| 22 |
-
Each problem was sampled 64 times. `maj@64` is majority-vote accuracy; `pass@k` uses the unbiased pass-at-k estimator.
|
| 23 |
|
| 24 |
| Dataset | maj@64 | pass@1 | pass@2 | pass@4 |
|
| 25 |
|---|---:|---:|---:|---:|
|
|
@@ -27,7 +27,7 @@ Each problem was sampled 64 times. `maj@64` is majority-vote accuracy; `pass@k`
|
|
| 27 |
| MAMO-Complex | 70.44 | 66.43 | 71.58 | 74.79 |
|
| 28 |
| InOR | 48.00 | 39.81 | 46.07 | 50.59 |
|
| 29 |
|
| 30 |
-
|
| 31 |
|
| 32 |
## Usage
|
| 33 |
|
|
|
|
| 13 |
|
| 14 |
# StepORLM-SOLID-opt
|
| 15 |
|
| 16 |
+
This is the checkpoint of **SOLID (Solver-Informed Self-Distillation)** built from `Chenyu-Zhou/StepORLM-Qwen3-8B` for operations-research modeling and solver-backed answer generation.
|
| 17 |
|
| 18 |
The model was trained with GRPO and solver-informed token-level KL supervision. It uses the COPT-style StepORLM response template.
|
| 19 |
|
| 20 |
## Evaluation
|
| 21 |
|
| 22 |
+
Each problem was sampled 64 times. `maj@64` is majority-vote accuracy; `pass@k` uses the unbiased pass-at-k estimator.
|
| 23 |
|
| 24 |
| Dataset | maj@64 | pass@1 | pass@2 | pass@4 |
|
| 25 |
|---|---:|---:|---:|---:|
|
|
|
|
| 27 |
| MAMO-Complex | 70.44 | 66.43 | 71.58 | 74.79 |
|
| 28 |
| InOR | 48.00 | 39.81 | 46.07 | 50.59 |
|
| 29 |
|
| 30 |
+
|
| 31 |
|
| 32 |
## Usage
|
| 33 |
|