xu3kev/proof-pile-2-proofsteps download history

xu3kev/proof-pile-2-proofsteps is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 48 times (4 in the last 7 days), and 1,784 times in total. It ranks #191,074 among datasets by monthly downloads.

Proofsteps data from Proof-Pile-2 includes proofsteps for Lean and Isabelle from datasets import load_dataset ds = load_dataset( "xu3kev/proof-pile-2-proofsteps" ) ds DatasetDict({ lean_proofsteps: Dataset({ features: ['text', 'meta'], num_rows: 3432 }) isa_proofstep

Open xu3kev/proof-pile-2-proofsteps on Hugging Face

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