Datasetpublic

ChristianZ97/proofnet-satp

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/DeepSeek-Prover-V1.5 datasets/proofnet.jsonl — the Lean 4 port of hoskinson-center/proofnet shipped with DeepSeek-Prover V1.5. Differences from upstream Field Upstream This repo… See the full description on the dataset page: https://huggingface.co/datasets/ChristianZ97/proofnet-satp.

sourceHugging Facemitupdated 4mo agoView on Hugging Face

0likes15downloads

settings

This repository belongs to ChristianZ97 on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

nameproofnet-satp

visibilitypublic

licencemit

gatedno

ownerChristianZ97

Account settings