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