CoolFace
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
root
dirqrels/
file.gitattributes2 KBdownload
filecorpus.jsonl10.0 MBdownload
filequeries.jsonl329 KBdownload
fileREADME.md1 KBdownload

hcju/proofwikips · main · files are served by the source, never re-hosted here