ChristianZ97/minif2f-satp-alphaproof download history

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

minif2f-satp-alphaproof The canonical 488-base-problem view of the miniF2F benchmark used by AlphaProof, ported to Lean 4.26.0 and packaged with initial proof goal_state values generated for SATP v2. This dataset is intended as the held-out evaluation (test) and hyperparameter-tuning

Open ChristianZ97/minif2f-satp-alphaproof on Hugging Face

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