hcju/proofwikips

1---2language:3- en4multilinguality:5- monolingual6task_categories:7- text-retrieval8source_datasets:9- proofwiki10task_ids:11- document-retrieval12config_names:13- corpus14tags:15- text-retrieval16dataset_info:17- config_name: default18  features:19  - name: query-id20    dtype: string21  - name: corpus-id22    dtype: string23  - name: score24    dtype: float6425  splits:26  - name: test27    num_examples: 559628- config_name: corpus29  features:30  - name: _id31    dtype: string32  - name: title33    dtype: string34  - name: text35    dtype: string36  splits:37  - name: corpus38    num_examples: 2596139- config_name: queries40  features:41  - name: _id42    dtype: string43  - name: text44    dtype: string45  splits:46  - name: queries47    num_examples: 108648configs:49- config_name: default50  data_files:51  - split: test52    path: qrels/test.jsonl53- config_name: corpus54  data_files:55  - split: corpus56    path: corpus.jsonl57- config_name: queries58  data_files:59  - split: queries60    path: queries.jsonl61license: cc-by-sa-4.062---63# ProofWiki Premise Selection Dataset, part of NaturalProofs Dataset64Sourced from NaturalProofs https://zenodo.org/records/4902289