Hugging Face model: majentik/Leanstral-RotorQuant-MLX-2bit
Author: majentik
Created: 2026-04-13 02:21:44
Last modified: 2026-08-10 02:07:22
Pipeline: text-generation
Library: mlx
Likes: 0 | Downloads: 351
Tags: mlx, safetensors, mistral3, rotorquant, kv-cache-quantization, 2-bit, weight-quantization, leanstral, lean4, formal-proofs, theorem-proving, quantized, apple-silicon, mistral, moe, text-generation, 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: rotorquant, 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