Update README.md
Browse files
README.md
CHANGED
|
@@ -18,6 +18,8 @@ tags:
|
|
| 18 |
|
| 19 |
**What this is:**
|
| 20 |
A small, reproducible demo adapter for `Qwen/Qwen3-Embedding-0.6B` that enables *lightweight, LLM-free* semantic search over mathlib (Lean 4).
|
|
|
|
|
|
|
| 21 |
|
| 22 |
Data is built from ~180k Lean theorems extracted via LeanDojo for **Lean 4.20.1** (there may be minor gaps vs. the full mathlib).
|
| 23 |
|
|
|
|
| 18 |
|
| 19 |
**What this is:**
|
| 20 |
A small, reproducible demo adapter for `Qwen/Qwen3-Embedding-0.6B` that enables *lightweight, LLM-free* semantic search over mathlib (Lean 4).
|
| 21 |
+
Supports both natural language and formula-based search (can be used in combination) for finding Lean theorems or mathematical statements.
|
| 22 |
+
Does not support LaTeX syntax search yet.
|
| 23 |
|
| 24 |
Data is built from ~180k Lean theorems extracted via LeanDojo for **Lean 4.20.1** (there may be minor gaps vs. the full mathlib).
|
| 25 |
|