metadata
license: apache-2.0
language:
- en
tags:
- zen
- zenlm
- hanzo-ai
- zen-4
pipeline_tag: text-generation
library_name: transformers
base_model: zenlm/zen4
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