m-a-p/FineLeanCorpus download history
m-a-p/FineLeanCorpus is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 348 times (59 in the last 7 days), and 11,582 times in total. It ranks #43,763 among datasets by monthly downloads.
FineLeanCorpus: A Large-Scale, High-Quality Lean 4 Formalization Dataset 🔍 Overview FineLeanCorpus is the largest high-quality dataset of natural language mathematical statements paired with their formalizations in Lean 4, comprising 509,356 entries. This dataset is designed to