Datasetpublic

marcusm117/ProofNet-Verified

ProofNet-Verified Resource Links: Paper: https://openreview.net/forum?id=5c0RSYyIWW, https://openreview.net/forum?id=NjgaeXNit3 GitHub: https://github.com/marcusm117/ProofNet-Verified HuggingFace: https://huggingface.co/datasets/marcusm117/ProofNet-Verified Visualization: https://marcusm117.github.io/ProofNet-Verified/ ProofNet-Verified (ProofNet-V) is an audited, corrected, and verified version of the ProofNet dataset that is upgraded to be compatible with Lean v4.28.0. A… See the full description on the dataset page: https://huggingface.co/datasets/marcusm117/ProofNet-Verified.

sourceHugging Faceapache-2.0updated 2mo agoView on Hugging Face

0likes72downloads

settings

This repository belongs to marcusm117 on Hugging Face.

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

nameProofNet-Verified

visibilitypublic

licenceapache-2.0

gatedno

ownermarcusm117

Account settings