hcju/proofwikips
ProofWiki Premise Selection Dataset, part of NaturalProofs Dataset Sourced from NaturalProofs https://zenodo.org/records/4902289
0126
This repository belongs to hcju on Hugging Face.
CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.
proofwikips
public
cc-by-sa-4.0
no
hcju