Hugging Face model: mradermacher/MathLeap-Octen-8B-GGUF
Author: mradermacher
Created: 2026-05-27 06:46:54
Last modified: 2026-05-27 07:00:09
Pipeline: feature-extraction
Library: transformers
Likes: 0 | Downloads: 151
Tags: transformers, gguf, mathematics, mathlib, lean4, retrieval, contrastive-learning, feature-extraction, loss:CachedMultipleNegativesRankingLoss, en, base_model:uw-math-ai/MathLeap-Octen-8B, base_model:quantized:uw-math-ai/MathLeap-Octen-8B, license:apache-2.0, endpoints_compatible, region:us, conversational
Base model relation: quantized
Base models: id: uw-math-ai/MathLeap-Octen-8B
Card metadata:
base_model: uw-math-ai/MathLeap-Octen-8B
language: en
library_name: transformers
license: apache-2.0
mradermacher: readme_rev: 1
quantized_by: mradermacher
tags: mathematics, mathlib, lean4, retrieval, contrastive-learning, feature-extraction, loss:CachedMultipleNegativesRankingLoss