erbacher/LeanRank-data download history

erbacher/LeanRank-data is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 70 times (16 in the last 7 days), and 1,917 times in total. It ranks #146,612 among datasets by monthly downloads.

LeanRank This dataset contains theorem-proving data extracted from the mathlib4 repository. The data was generated using the LeanDojo toolkit. All data points are extracted from a specific version of the mathlib4 library, corresponding to the Git commit hash: c211948581bde9846a99e32d97a03

Open erbacher/LeanRank-data on Hugging Face

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