Goedel-LM/Goedel-Pset-v1 download history

Goedel-LM/Goedel-Pset-v1 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,123 times (86 in the last 7 days), and 8,846 times in total. It ranks #17,696 among datasets by monthly downloads.

License | Citation | Contact We present Goedel-Pset, the largest open-source dataset of Lean 4 statements, consisting of 1.73 million formalized statements. This dataset is ten times larger than the Lean Workbook. To create this dataset,

Open Goedel-LM/Goedel-Pset-v1 on Hugging Face

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