Hugging Face's logo

Isaac74
/
qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

Sentence Similarity
PEFT
Safetensors
sentence-transformers
lora
semantic-search
faiss
hnsw
mathlib4
lean4
Model card Files
xet
Community
qwen3-0.6b-lightweight-semantic-mathlib-search-adapter
File size: 134 Bytes 
288bc58
 
 
 
1
2
3
4
 
version https://git-lfs.github.com/spec/v1
oid sha256:a6b77abac9d6357621a119aebf7c6d41f5bb37512d8f58a876d92c9cc0f7aab7
size 121131292