brando/proofnet-v3-lean4 download history

brando/proofnet-v3-lean4 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 31 times (3 in the last 7 days), and 375 times in total. It ranks #267,450 among datasets by monthly downloads.

ProofNet Lean4 v3 This dataset is based on proofnet-v2-lean4 but removes any entries that caused Lean 4 syntax/parse errors. We also introduce a new field header_no_import that removes "import Mathlib". Splits: validation and test. Enjoy!

Open brando/proofnet-v3-lean4 on Hugging Face

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