ChristianZ97/proofnet-satp-v4.27 download history

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

ProofNet#-SATP v4.27 — Lean 4 (371 problems) ProofNet# (corrected reference formalizations of ProofNet) normalized to the ChristianZ97/putnambench-satp-v4.27 schema for the SATP-DSP-Eval pipeline. Provenance Source: PAug/ProofNetSharp @ a8da405fbd1e348a87445c2e562c747b

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

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