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
Upload faiss/mathlib420_final_hnsw.idx with huggingface_hub
Browse files- .gitattributes +1 -0
- faiss/mathlib420_final_hnsw.idx +3 -0
.gitattributes
CHANGED
|
@@ -33,3 +33,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
|
|
| 33 |
*.zip filter=lfs diff=lfs merge=lfs -text
|
| 34 |
*.zst filter=lfs diff=lfs merge=lfs -text
|
| 35 |
*tfevents* filter=lfs diff=lfs merge=lfs -text
|
|
|
|
|
|
| 33 |
*.zip filter=lfs diff=lfs merge=lfs -text
|
| 34 |
*.zst filter=lfs diff=lfs merge=lfs -text
|
| 35 |
*tfevents* filter=lfs diff=lfs merge=lfs -text
|
| 36 |
+
faiss/mathlib420_final_hnsw.idx filter=lfs diff=lfs merge=lfs -text
|
faiss/mathlib420_final_hnsw.idx
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:75b0424fc67e9f9df5df2d5e253ce600a93c25f0953bd0ecf41476c4483c83d2
|
| 3 |
+
size 2560461838
|