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
Ctrl+K
Ctrl+K
1 contributor
History:
9 commits
Isaac74
Update README.md
bec85f8
verified
6 days ago
adapter
Upload adapter/adapter_model.safetensors with huggingface_hub
7 days ago
faiss
Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub
7 days ago
.gitattributes
1.67 kB
Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub
7 days ago
README.md
1.24 kB
Update README.md
6 days ago