Hugging Face model: SEBK4C/LEANSTRAL-WHITEDWARF
Author: SEBK4C
Created: 2026-07-07 14:16:48
Last modified: 2026-07-10 18:27:40
Likes: 0 | Downloads: 64
Tags: gguf, llama-cpp, lean4, moe, theorem-proving, autoresearch, work-in-progress, base_model:mistralai/Leanstral-1.5-119B-A6B, base_model:quantized:mistralai/Leanstral-1.5-119B-A6B, license:apache-2.0, endpoints_compatible, region:us, imatrix, conversational
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
tags: gguf, llama-cpp, lean4, moe, theorem-proving, autoresearch, work-in-progress