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

FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 77 times (37 in the last 7 days), and 494 times in total. It ranks #138,186 among datasets by monthly downloads.

LeanSearch v2 — Mathlib v4.28.0-rc1 corpus (JSONL) One record per Mathlib v4.28.0-rc1 declaration with the LLM-generated informal description used as the embedding input — the raw source from which the companion cuVS index is built. Code: https://github.com/frenzymath/LeanSearch-v2 Paper

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

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