brando/minif2f-lean4 download history

brando/minif2f-lean4 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 34 times (5 in the last 7 days), and 1,486 times in total. It ranks #248,758 among datasets by monthly downloads.

MiniF2F Lean4 This dataset provides two splits (validation and test) of the MiniF2F dataset adapted for Lean4. It includes fields such as: id split formal_statement header nl_statement nl_proof

Open brando/minif2f-lean4 on Hugging Face

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