Dataset · Hugging Face

hcju/proofwikips

Name: proofwikips
Creator: hcju
License: cc-by-sa-4.0
Keywords: task_categories:text-retrieval, task_ids:document-retrieval, multilinguality:monolingual, source_datasets:proofwiki, language:en, license:cc-by-sa-4.0, size_categories:10K<n<100K, format:json, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, region:us, text-retrieval

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

View on Hugging FaceReport an issue

Author / organization	hcju
License (as declared)	cc-by-sa-4.0
Downloads	145 (as reported by Hugging Face)
Likes	0
Created	16 May 2025
Last updated at source	16 May 2025

text-retrieval

Embed this entry

<iframe src="https://silytics.si/embed/item/ccc19ff2-9a82-431d-b2e3-22bba0e4c1ed" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from hcju

hcju/msedupDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.