datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
proofnet-lean4ProofNet-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.less-proofnet-lean4-top1Mless-proofnet-lean4-ranked