---
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](https://huggingface.co/zenlm/zen4)

```python
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](https://huggingface.co/zenlm) · [Chat free](https://hanzo.chat) · [API](https://api.hanzo.ai) · [Docs](https://zenlm.org)