Hugging Face model: majentik/Leanstral-TurboQuant-MLX-2bit
Author: majentik
Created: 2026-04-13 02:21:41
Last modified: 2026-08-10 02:07:19
Pipeline: text-generation
Library: mlx
Likes: 0 | Downloads: 313
Tags: mlx, safetensors, mistral3, turboquant, kv-cache-quantization, 2-bit, weight-quantization, leanstral, lean4, formal-proofs, theorem-proving, quantized, apple-silicon, mistral, moe, text-generation, arxiv:2504.19874, base_model:mistralai/Leanstral-2603, base_model:quantized:mistralai/Leanstral-2603, license:apache-2.0, region:us
Base model relation: quantized
Base models: id: mistralai/Leanstral-2603
Card metadata:
base_model: mistralai/Leanstral-2603
library_name: mlx
tags: turboquant, kv-cache-quantization, mlx, 2-bit, weight-quantization, leanstral, lean4, formal-proofs, theorem-proving, quantized, apple-silicon, mistral, moe
license: apache-2.0
pipeline_tag: text-generation