FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs download history

FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 47 times (15 in the last 7 days), and 740 times in total. It ranks #194,103 among datasets by monthly downloads.

LeanSearch v2 — Mathlib v4.28.0-rc1 cuVS index Pre-built cuVS CAGRA index over every Mathlib v4.28.0-rc1 declaration, encoded with Qwen3-Embedding-8B; drops directly into the LeanSearch v2 serving pipeline (cuvs_index.bin + metadata.pkl + texts.pkl). Code: https://github.com/frenzymath/L

Open FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.