Hugging Face model: uw-math-ai/MathLeap-Qwen-8B
Author: uw-math-ai
Created: 2026-05-25 21:21:40
Last modified: 2026-05-26 06:44:14
Pipeline: sentence-similarity
Library: sentence-transformers
Likes: 0 | Downloads: 160
Tags: sentence-transformers, safetensors, qwen3, mathematics, mathlib, lean4, retrieval, contrastive-learning, feature-extraction, sentence-similarity, en, base_model:Qwen/Qwen3-Embedding-8B, base_model:finetune:Qwen/Qwen3-Embedding-8B, license:apache-2.0, text-embeddings-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-Embedding-8B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-Embedding-8B
language: en
pipeline_tag: sentence-similarity
library_name: sentence-transformers
tags: mathematics, mathlib, lean4, retrieval, contrastive-learning, feature-extraction