nvidia/OpenMathInstruct-2
Viewer β’ Updated β’ 22M β’ 93.9k β’ 256
How to use dotlabs/void.1 with Transformers:
# Use a pipeline as a high-level helper
from transformers import pipeline
pipe = pipeline("text-generation", model="dotlabs/void.1") # pip install -U transformers accelerate
# Load model directly
from transformers import AutoTokenizer, AutoModelForCausalLM
tokenizer = AutoTokenizer.from_pretrained("dotlabs/void.1")
model = AutoModelForCausalLM.from_pretrained("dotlabs/void.1", device_map="auto")How to use dotlabs/void.1 with vLLM:
# Install vLLM from pip:
pip install vllm
# Start the vLLM server:
vllm serve "dotlabs/void.1"
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:8000/v1/completions" \
-H "Content-Type: application/json" \
--data '{
"model": "dotlabs/void.1",
"prompt": "Once upon a time,",
"max_tokens": 512,
"temperature": 0.5
}'docker model run hf.co/dotlabs/void.1
How to use dotlabs/void.1 with SGLang:
# Install SGLang from pip:
pip install sglang
# Start the SGLang server:
python3 -m sglang.launch_server \
--model-path "dotlabs/void.1" \
--host 0.0.0.0 \
--port 30000
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:30000/v1/completions" \
-H "Content-Type: application/json" \
--data '{
"model": "dotlabs/void.1",
"prompt": "Once upon a time,",
"max_tokens": 512,
"temperature": 0.5
}'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 "dotlabs/void.1" \
--host 0.0.0.0 \
--port 30000
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:30000/v1/completions" \
-H "Content-Type: application/json" \
--data '{
"model": "dotlabs/void.1",
"prompt": "Once upon a time,",
"max_tokens": 512,
"temperature": 0.5
}'How to use dotlabs/void.1 with Docker Model Runner:
docker model run hf.co/dotlabs/void.1
State of the art, small language model pretrained from scratch on a diverse set of high-quality texts and an internal symbolic kernel. This is the first step into a series of models designed for fine-grained understanding of abstract/symbolic reasoning on text while being grounded on english.
| Model | Params | HellaSwag | PIQA | ARC-Easy | ARC-Challenge | ArithMark-3 | Intelligence Index |
|---|---|---|---|---|---|---|---|
| void.1* | 90.15M | 38.68% | 67.46% | 47.31% | 28.16% | 44.80% | 23.92 |
| 100M-exp | 98.16M | 37.78% | 66.97% | 49.83% | 27.22% | 40.00% | 22.47 |
| Rose-1.5-Medium | 98.28M | 38.09% | 64.80% | 47.22% | 27.13% | 40.70% | 21.07 |
| tinctura-v1 | 96.2M | 37.96% | 65.61% | 47.98% | 25.77% | 38.40% | 20.81 |
| Surjo-100m | 97.7M | 35.05% | 63.87% | 47.64% | 25.85% | 38.90% | 18.86 |
We used the revision on step 900,000 for evaluations which trained for around 120 billion bytes which is around 30 to 35 billion bpe tokens. For more details on the evals and inference, please have a look at the official notebook.