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
  • 1 contributor
 History: 2 commits
Isaac74's picture
Isaac74
Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub
288bc58 verified