Datasetpublic

hcju/proofwikips

ProofWiki Premise Selection Dataset, part of NaturalProofs Dataset Sourced from NaturalProofs https://zenodo.org/records/4902289

sourceHugging Facecc-by-sa-4.0updated 1y agoView on Hugging Face

0likes126downloads

Dataset Card

ProofWiki Premise Selection Dataset, part of NaturalProofs Dataset

Sourced from NaturalProofs https://zenodo.org/records/4902289