Hugging Face model: kamiyugi/Leanstral-1.5-119B-A6B-NVFP4A16
Author: kamiyugi
Created: 2026-07-08 05:26:33
Last modified: 2026-07-08 06:17:54
Pipeline: text-generation
Library: vllm
Likes: 1 | Downloads: 16
Tags: vllm, lean, theorem-proving, formal-verification, code, moe, nvfp4, fp4, w4a16, compressed-tensors, quantized, text-generation, base_model:mistralai/Leanstral-1.5-119B-A6B, base_model:quantized:mistralai/Leanstral-1.5-119B-A6B, license:apache-2.0, region:us
Base model relation: quantized
Base models: id: mistralai/Leanstral-1.5-119B-A6B
Card metadata:
license: apache-2.0
base_model: mistralai/Leanstral-1.5-119B-A6B
base_model_relation: quantized
pipeline_tag: text-generation
library_name: vllm
tags: lean, theorem-proving, formal-verification, code, moe, nvfp4, fp4, w4a16, compressed-tensors, quantized, vllm