ChristianZ97/minif2f-satp-v4.27 download history

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

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

Open ChristianZ97/minif2f-satp-v4.27 on Hugging Face

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