| 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) | |