unigram/fol-01i

--- configs: - config_name: default data_files: - split: train path: data/train-* - split: validation path: data/validation-* - split: test path: data/test-* dataset_info: features: - name: premise dtype: string - name: hypothesis dtype: string - name: label dtype: string - name: premise_tptp dtype: string - name: hypothesis_tptp dtype: string - name: proof_inputs sequence: string - name: proof dtype: string - name: rule_concentration dtype: float64 splits: - name: train num_bytes: 545983394.2802362 num_examples: 82219 - name: validation num_bytes: 68252074.65929127 num_examples: 10278 - name: test num_bytes: 68245434.06047249 num_examples: 10277 download_size: 182483284 dataset_size: 682480903.0 --- # Dataset Card for "fol-01i" [More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)This dataset contains information related to logical reasoning and proof, divided into training, validation, and test sets. Features include premise, hypothesis, label, premise TPTP representation, hypothesis TPTP representation, proof inputs, proof, and rule concentration.

原始信息汇总

数据集概述

配置信息

• 默认配置：包含训练、验证和测试数据集。
  • 训练集：路径为 data/train-*，包含 82219 个样本，总大小为 545983394.2802362 字节。
  • 验证集：路径为 data/validation-*，包含 10278 个样本，总大小为 68252074.65929127 字节。
  • 测试集：路径为 data/test-*，包含 10277 个样本，总大小为 68245434.06047249 字节。

数据集特征

• 特征名称：premise, hypothesis, label, premise_tptp, hypothesis_tptp, proof_inputs, proof, rule_concentration
• 数据类型：
  • premise, hypothesis, label, premise_tptp, hypothesis_tptp, proof：字符串类型
  • proof_inputs：序列字符串类型
  • rule_concentration：浮点数类型

数据集大小

• 下载大小：182483284 字节
• 数据集总大小：682480903.0 字节