Zen4 Math

Parameters: 8B | Architecture: Zen 4 Architecture | Context: 32K | License: Apache 2.0 | Released: 2025-03-15

STEM & mathematics — theorem proving, symbolic reasoning, competition math.

Base weights: zenlm/zen4

from transformers import AutoModelForCausalLM, AutoTokenizer
model = AutoModelForCausalLM.from_pretrained("zenlm/zen4", torch_dtype="auto")
tokenizer = AutoTokenizer.from_pretrained("zenlm/zen4")

The Zen LM Family

Joint research collaboration:

Hanzo AI (Techstars '17) — AI infrastructure, API gateway, inference optimization
Zoo Labs Foundation (501c3) — Open AI research, ZIPs governance, decentralized training
Lux Partners Limited — Compute coordination and settlement layer

All weights Apache 2.0. Download, run locally, fine-tune, deploy commercially.

HuggingFace · Chat free · API · Docs

Downloads last month: -; Downloads are not tracked for this model. How to track

Model tree for zenlm/zen4-math

Base model

zenlm/zen4

Finetuned

(4)

this model