Text Generation
Transformers
rotorquant
kv-cache-quantization
mistral
Mixture of Experts
lean4
formal-proofs
quantized
Instructions to use majentik/Leanstral-RotorQuant with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use majentik/Leanstral-RotorQuant with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="majentik/Leanstral-RotorQuant")# Load model directly from transformers import AutoModel model = AutoModel.from_pretrained("majentik/Leanstral-RotorQuant", dtype="auto") - Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- vLLM
How to use majentik/Leanstral-RotorQuant with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "majentik/Leanstral-RotorQuant" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "majentik/Leanstral-RotorQuant", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }'Use Docker
docker model run hf.co/majentik/Leanstral-RotorQuant
- SGLang
How to use majentik/Leanstral-RotorQuant with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "majentik/Leanstral-RotorQuant" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "majentik/Leanstral-RotorQuant", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "majentik/Leanstral-RotorQuant" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "majentik/Leanstral-RotorQuant", "prompt": "Once upon a time,", "max_tokens": 512, "temperature": 0.5 }' - Docker Model Runner
How to use majentik/Leanstral-RotorQuant with Docker Model Runner:
docker model run hf.co/majentik/Leanstral-RotorQuant
docs: upstream-first KV-cache guidance (q8_0/q4_0, mainline Hadamard rotation); fork demoted to experimental
Browse files
README.md
CHANGED
|
@@ -17,6 +17,23 @@ pipeline_tag: text-generation
|
|
| 17 |
> **Status (2026-07-07): no weights published yet.** This repository currently contains only the model card — it marks a planned variant that has not been released. Follow the repo to be notified when files land.
|
| 18 |
<!-- status-note -->
|
| 19 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 20 |
# Leanstral-RotorQuant
|
| 21 |
|
| 22 |
**RotorQuant KV cache compression** for [mistralai/Leanstral-2603](https://huggingface.co/mistralai/Leanstral-2603).
|
|
|
|
| 17 |
> **Status (2026-07-07): no weights published yet.** This repository currently contains only the model card — it marks a planned variant that has not been released. Follow the repo to be notified when files land.
|
| 18 |
<!-- status-note -->
|
| 19 |
|
| 20 |
+
> [!TIP]
|
| 21 |
+
> **KV-cache quantization without any fork (recommended, 2026):** upstream
|
| 22 |
+
> llama.cpp/Ollama now cover this natively — use `-ctk q8_0 -ctv q8_0`
|
| 23 |
+
> (~half KV memory, negligible quality loss: perplexity +0.002–0.05) or
|
| 24 |
+
> `-ctk q4_0 -ctv q4_0` (~quarter memory, ≈7.6% perplexity increase). In
|
| 25 |
+
> Ollama: `OLLAMA_KV_CACHE_TYPE=q8_0` with `OLLAMA_FLASH_ATTENTION=1`. Keep
|
| 26 |
+
> K and V types symmetric to stay on the fast fused Flash-Attention path.
|
| 27 |
+
> Since April 2026, mainline llama.cpp also applies Hadamard rotation to
|
| 28 |
+
> KV activations ([PR #21038](https://github.com/ggml-org/llama.cpp/pull/21038)),
|
| 29 |
+
> which greatly improves low-bit KV quality (opt-out:
|
| 30 |
+
> `LLAMA_ATTN_ROT_DISABLE=1`).
|
| 31 |
+
>
|
| 32 |
+
> The RotorQuant/TurboQuant fork flow below is **experimental/legacy**: the
|
| 33 |
+
> TurboQuant llama.cpp PR was closed without merging (June 2026) and the fork
|
| 34 |
+
> is unmaintained relative to mainline. It is NOT required to use this model.
|
| 35 |
+
<!-- kv-upstream-note -->
|
| 36 |
+
|
| 37 |
# Leanstral-RotorQuant
|
| 38 |
|
| 39 |
**RotorQuant KV cache compression** for [mistralai/Leanstral-2603](https://huggingface.co/mistralai/Leanstral-2603).
|