Isaac74
/

qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

Sentence Similarity

sentence-transformers

semantic-search

Model card Files Files and versions

Isaac74 commited on Aug 9

Commit

bec85f8

·

verified ·

1 Parent(s): 7235e65

Update README.md

Files changed (1) hide show

README.md +4 -1

README.md CHANGED Viewed

@@ -29,4 +29,7 @@ Data is built from ~180k Lean theorems extracted via LeanDojo for **Lean 4.20.1*
 - `adapter/adapter_config.json` & `adapter/adapter_model.safetensors` — LoRA weights for the encoder
 - `faiss/<*.idx>` — HNSW FAISS index (built for cosine/inner-product search)
-- `faiss/*public_index.jsonl` — public mapping `{ idx, full_name, statement }`

 - `adapter/adapter_config.json` & `adapter/adapter_model.safetensors` — LoRA weights for the encoder
 - `faiss/<*.idx>` — HNSW FAISS index (built for cosine/inner-product search)
+- `faiss/*public_index.jsonl` — public mapping `{ idx, full_name, statement }`
+## DEMO
+https://github.com/IsaacLi74/Lightweight-and-LLM-Free-Semantic-Search-for-mathlib4