Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Isaac74
/
qwen3-0.6b-lightweight-semantic-mathlib-search-adapter
like
0
Sentence Similarity
PEFT
Safetensors
sentence-transformers
lora
semantic-search
faiss
hnsw
mathlib4
lean4
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Use this model
main
qwen3-0.6b-lightweight-semantic-mathlib-search-adapter
/
README.md
Commit History
Update README.md
bec85f8
verified
Isaac74
commited on
Aug 9
Update README.md
7235e65
verified
Isaac74
commited on
Aug 9
Update README.md
a955ea0
verified
Isaac74
commited on
Aug 9
Create README.md
f2e9e7e
verified
Isaac74
commited on
Aug 9