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

Commit History

Update README.md
bec85f8
verified

Isaac74 commited on

Update README.md
7235e65
verified

Isaac74 commited on

Update README.md
a955ea0
verified

Isaac74 commited on

Create README.md
f2e9e7e
verified

Isaac74 commited on

Upload faiss/mathlib420_final_public_index.jsonl with huggingface_hub
288bc58
verified

Isaac74 commited on

Upload faiss/mathlib420_final_hnsw.idx with huggingface_hub
ecfcf94
verified

Isaac74 commited on

Upload adapter/adapter_model.safetensors with huggingface_hub
9a37cc8
verified

Isaac74 commited on

Upload adapter/adapter_config.json with huggingface_hub
28990be
verified

Isaac74 commited on

initial commit
e564f1f
verified

Isaac74 commited on