FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
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/LeanSearch-v2 Paper: https://arxiv.org/abs/2605.13137
056
This repository belongs to FrenzyMath on Hugging Face.
CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.
lsv2-mathlib-v4.28.0-rc1-cuvs
public
apache-2.0
no
FrenzyMath