Hugging Face's logo

uw-math-ai
/
MathLeap-Octen-8B

Sentence Similarity
sentence-transformers
Safetensors
English
qwen3
mathematics
mathlib
lean4
retrieval
contrastive-learning
feature-extraction
loss:CachedMultipleNegativesRankingLoss
text-embeddings-inference
Model card Files
xet
 Community
MathLeap-Octen-8B

Commit History

  1. Update README.md

    CeciliaYe
    Verified signature
    daaf031

  1. Update README.md

    CeciliaYe
    Verified signature
    f830056

  2. Update README.md

    CeciliaYe
    Verified signature
    cceab05

  3. Update README.md

    CeciliaYe
    Verified signature
    c6bc4d2

  4. Update README.md

    CeciliaYe
    Verified signature
    8d1729f

  1. Update README.md

    CeciliaYe
    Verified signature
    154f5de

  2. Add new SentenceTransformer model

    CeciliaYe
    Verified signature
    2cc797a

  3. initial commit

    CeciliaYe
    Verified signature
    316d050