Hugging Face model: uw-math-ai/MathLeap-Octen-8B
Author: uw-math-ai
Created: 2026-05-25 23:21:31
Last modified: 2026-05-27 21:24:32
Pipeline: sentence-similarity
Library: sentence-transformers
Likes: 1 | Downloads: 172
Tags: sentence-transformers, safetensors, qwen3, mathematics, mathlib, lean4, retrieval, contrastive-learning, feature-extraction, loss:CachedMultipleNegativesRankingLoss, sentence-similarity, en, base_model:Octen/Octen-Embedding-8B, base_model:finetune:Octen/Octen-Embedding-8B, license:apache-2.0, text-embeddings-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Octen/Octen-Embedding-8B
Card metadata:
license: apache-2.0
base_model: Octen/Octen-Embedding-8B
language: en
pipeline_tag: sentence-similarity
library_name: sentence-transformers
tags: mathematics, mathlib, lean4, retrieval, contrastive-learning, feature-extraction, loss:CachedMultipleNegativesRankingLoss