{"id":"a4f79039-2455-4273-a38d-9dc38f963982","slug":"hf-model-uw-math-ai-mathleap-octen-8b-1ofuk9l-s","name":"MathLeap-Octen-8B","description":"Hugging Face model uw-math-ai/MathLeap-Octen-8B. Task: sentence similarity. Library: sentence-transformers. 109 downloads. 1 likes.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":37,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:30.727Z"}