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
Download config_sentence_transformers.json from uw-math-ai/MathLeap-Octen-8B: direct link, hf CLI and curl.
- Browser
- Download file 376 Bytes
-
https://huggingface.co/uw-math-ai/MathLeap-Octen-8B/resolve/main/config_sentence_transformers.json
- Command line
-
hf download hf://uw-math-ai/MathLeap-Octen-8B/config_sentence_transformers.json
-
curl -L -o config_sentence_transformers.json https://huggingface.co/uw-math-ai/MathLeap-Octen-8B/resolve/main/config_sentence_transformers.json
376 Bytes
| { | |
| "prompts": { | |
| "query": "Instruct: Given a web search query, retrieve relevant passages that answer the query\nQuery:", | |
| "document": " " | |
| }, | |
| "default_prompt_name": null, | |
| "similarity_fn_name": "cosine", | |
| "model_type": "SentenceTransformer", | |
| "__version__": { | |
| "sentence_transformers": "5.1.2", | |
| "transformers": "4.57.6", | |
| "pytorch": "2.8.0+cu128" | |
| } | |
| } |