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_public_index.jsonl

Commit History

Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub
288bc58
verified

Isaac74 commited on