Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Isaac74
/
qwen3-0.6b-lightweight-semantic-mathlib-search-adapter
like
1
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
/
adapter
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
Isaac74
Upload adapter/adapter_model.safetensors with huggingface_hub
9a37cc8
verified
7 days ago
adapter_config.json
840 Bytes
Upload adapter/adapter_config.json with huggingface_hub
7 days ago
adapter_model.safetensors
18.4 MB
xet
Upload adapter/adapter_model.safetensors with huggingface_hub
7 days ago