ChristianZ97/minif2f-satp download history

ChristianZ97/minif2f-satp is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 27 times (11 in the last 7 days), and 940 times in total. It ranks #298,367 among datasets by monthly downloads.

minif2f-satp miniF2F benchmark with initial Lean 4 proof goal_state for both test and validation splits. Intended as the held-out evaluation (test) and hyperparameter-tuning (validation) sets for SATP / sketch-and-prove pipelines trained on NuminaMath-LEAN-satp. Sibling datasets: NuminaM

Open ChristianZ97/minif2f-satp on Hugging Face

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