hcju/proofwikips
ProofWiki Premise Selection Dataset, part of NaturalProofs Dataset Sourced from NaturalProofs https://zenodo.org/records/4902289
0126
Nothing at this path on main. The folder may be empty, or the revision may not exist.
ProofWiki Premise Selection Dataset, part of NaturalProofs Dataset Sourced from NaturalProofs https://zenodo.org/records/4902289
Nothing at this path on main. The folder may be empty, or the revision may not exist.