fabianschmidt-cohere/MAIR-ProofWiki_Proof__mteb

--- dataset_info: - config_name: corpus features: - name: _id dtype: string - name: title dtype: string - name: text dtype: string splits: - name: corpus num_bytes: 24027127 num_examples: 19234 download_size: 7279572 dataset_size: 24027127 - config_name: default features: - name: query-id dtype: string - name: corpus-id dtype: string - name: score dtype: int64 splits: - name: test num_bytes: 10610 num_examples: 104 download_size: 3817 dataset_size: 10610 - config_name: instruction features: - name: query-id dtype: string - name: instruction dtype: string splits: - name: instruction num_bytes: 14452 num_examples: 100 download_size: 2775 dataset_size: 14452 - config_name: queries features: - name: _id dtype: string - name: text dtype: string splits: - name: queries num_bytes: 39574 num_examples: 100 download_size: 19901 dataset_size: 39574 configs: - config_name: corpus data_files: - split: corpus path: corpus/corpus-* - config_name: default data_files: - split: test path: data/test-* - config_name: instruction data_files: - split: instruction path: instruction/instruction-* - config_name: queries data_files: - split: queries path: queries/queries-* ---