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 / faiss /mathlib420_final_hnsw.idx

Commit History

Upload faiss/mathlib420_final_hnsw.idx with huggingface_hub
ecfcf94
verified

Isaac74 commited on