Sentence Similarity
sentence-transformers
Safetensors
English
qwen3
mathematics
mathlib
lean4
retrieval
contrastive-learning
feature-extraction
loss:CachedMultipleNegativesRankingLoss
text-embeddings-inference
Instructions to use uw-math-ai/MathLeap-Octen-8B with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- sentence-transformers
How to use uw-math-ai/MathLeap-Octen-8B with sentence-transformers:
from sentence_transformers import SentenceTransformer model = SentenceTransformer("uw-math-ai/MathLeap-Octen-8B") sentences = [ "That is a happy person", "That is a happy dog", "That is a very happy person", "Today is a sunny day" ] embeddings = model.encode(sentences) similarities = model.similarity(embeddings, embeddings) print(similarities.shape) # [4, 4] - Notebooks
- Google Colab
- Kaggle
Welcome to the community
The community tab is the place to discuss and collaborate with the HF community!