Hugging Face model: majentik/Leanstral-RotorQuant-MLX-8bit
Author: majentik
Created: 2026-04-13 11:47:20
Last modified: 2026-07-20 16:50:44
Pipeline: text-generation
Library: mlx
Likes: 0 | Downloads: 216
Tags: mlx, safetensors, mistral3, rotorquant, kv-cache-quantization, 8bit, 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, 8-bit, 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, 8bit, weight-quantization, leanstral, lean4, formal-proofs, theorem-proving, quantized, apple-silicon, mistral, moe
license: apache-2.0
pipeline_tag: text-generation