Sentence Similarity
PEFT
Safetensors
sentence-transformers
lora
semantic-search
faiss
hnsw
mathlib4
lean4
Instructions to use Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- PEFT
How to use Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter with PEFT:
Task type is invalid.
- sentence-transformers
How to use Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter with sentence-transformers:
from sentence_transformers import SentenceTransformer model = SentenceTransformer("Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter") 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
Ctrl+K