Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter
Sentence Similarity
•
Updated
Isaac Li
Isaac74
AI & ML interests
Lean4 & AI
Organizations
None yet
datasets
0
None public yet