ChristianZ97/proofnet-satp download history

ChristianZ97/proofnet-satp is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 13 times (2 in the last 7 days), and 147 times in total. It ranks #492,381 among datasets by monthly downloads.

ProofNet-SATP — Lean 4 (371 problems, SATP-normalized) ProofNet (undergraduate-level mathematics theorem-proving benchmark, 371 problems from Rudin / Munkres / Dummit-Foote / Axler / Herstein / Ireland-Rosen / Artin) normalized for the SATP-DSP-Eval pipeline. Upstream: deepseek-ai/Dee

Open ChristianZ97/proofnet-satp on Hugging Face

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