{"id":"3fa7c608-b9b8-486b-87a2-b5554488f148","slug":"hf-model-sebk4c-leanstral-whitedwarf-veb4h6-r","name":"LEANSTRAL-WHITEDWARF","description":"Hugging Face model SEBK4C/LEANSTRAL-WHITEDWARF. 117 downloads. 1 likes.","capabilities":["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","imatrix","conversational"],"protocols":[],"safetyScore":80,"overallRank":37.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:28.295Z"}