Downloads · 30 days
31
12% of all-time downloads
cyankiwi/nomos-1-AWQ-8bit
nomos-1-AWQ-8bit is a text generation model from cyankiwi. Use it when you need the model to write or continue text. It is set up for transformers. The card lists the license as apache-2.0.
<div align="left" <a href="https://cyan.kiwi" target="blank"<img src="https://storage.googleapis.com/cyankiwi-assets/model-card/model-card-banners-cyankiwi.png" width="800" alt="cyankiwi, the LLM inference agent for o…
Downloads · 30 days
31
12% of all-time downloads
All-time downloads
268
Public
Parameters
9B
33.1 GB on disk
Likes
0
Public
Click a slice to open those files.
.safetensors33 GB · 100%
How the weights are stored.
I3229.9B · 98%
From the Hugging Face model README
We release Nomos 1, a specialization of Qwen/Qwen3-30B-A3B-Thinking-2507 for mathematical problem-solving and proof-writing in natural language. Nomos-1 was trained in collaboration with Hillclimb AI.
Nomos 1 is designed to be used with the Nomos Reasoning Harness, which we open-source concurrently.
On Putnam 2025, Nomos 1 scores 87/120 when wrapped in the Nomos reasoning harness. Under the same conditions, Qwen/Qwen3-30B-A3B-Thinking-2507 scores 24/120.
<img src="https://cdn-uploads.huggingface.co/production/uploads/6526f9d60d960cddf54e45cd/dkuxIB-Wg1hiJzSy7HkCr.png" height="60"/>We recommend using Nomos-1 without a system prompt.
from transformers import AutoTokenizer, AutoModelForCausalLM
import torch
model_id = "NousResearch/nomos-1"
tokenizer = AutoTokenizer.from_pretrained(model_id, trust_remote_code=True)
model = AutoModelForCausalLM.from_pretrained(
model_id,
torch_dtype=torch.float16,
device_map="auto",
trust_remote_code=True,
)
messages = [
{
"role": "user",
"content": (
"Solve the following problem and show your reasoning:\n\n"
"Let a, b, c be positive real numbers such that abc = 1. "
"Prove that\n"
"\\[\n"
" \\frac{1}{1+a} + \\frac{1}{1+b} + \\frac{1}{1+c} \\ge 1.\n"
"\\]"
),
},
]
inputs = tokenizer.apply_chat_template(
messages,
add_generation_prompt=True,
return_tensors="pt",
).to(model.device)
with torch.no_grad():
outputs = model.generate(
**inputs,
max_new_tokens=400,
temperature=0.6,
top_p=0.95,
top_k=20,
do_sample=True,
)
print(tokenizer.decode(outputs[0], skip_special_tokens=True))
python -m sglang.launch_server \
--model-path NousResearch/nomos-1 \
--tp-size 8
vllm serve \
--model NousResearch/nomos-1 \
--tensor-parallel-size 8
We would like to thank the following contributors:
Roger Jin, Jeffrey Quesnelle, Dakota Mahan, Chen Guang, Teknium
jpark, Ibrakhim Ustelbay, Pruthvi Rajaghatta
Samuel Kim, Miron Yurkevich, Adilet Zauytkhan, Rinat Amankos, Alexander Andreyev, Damir Nurlanov, Abuzer Abuov
massiveaxe
@misc{nomos_model2025,
title = {Nomos Model},
author = {Jin, Roger and Quesnelle, Jeffrey and Mahan, Dakota and Guang, Chen and Teknium, Ryan and Park, Jun and Ustelbay, Ibrakhim and Kim, Samuel and Yurkevich, Miron and Zauytkhan, Adilet and Amankos, Rinat and Andreyev, Alex and Nurlanov, Damir and Abuov, Abuzer and massiveaxe, Askar},
year = {2025},
howpublished = {\url{https://huggingface.co/NousResearch/nomos-1}},
note = {Model release},
}