unigram/longlogic

该数据集包含多个特征，如前提（premise）、假设（hypothesis）、标签（label）等，主要用于逻辑推理任务。数据集分为训练集、验证集和测试集，分别包含7533、942和942个样本。数据集的下载大小为108355596字节，总大小为921448804.9999999字节。

The dataset contains multiple features such as premise, hypothesis, label, etc., primarily used for logical reasoning tasks. The dataset is divided into training, validation, and test sets, containing 7533, 942, and 942 samples respectively. The download size of the dataset is 108355596 bytes, and the total size is 921448804.9999999 bytes.

原始信息汇总

数据集概述

数据集特征

• premise: 类型为字符串
• hypothesis: 类型为字符串
• label: 类型为字符串
• premise_tptp: 类型为字符串
• hypothesis_tptp: 类型为字符串
• proof_inputs: 类型为字符串序列
• proof: 类型为字符串
• tc: 类型为整数（int64）
• tck: 类型为整数（int64）

数据集分割

• train: 包含7533个样本，大小为737100334.2959541字节
• validation: 包含942个样本，大小为92174235.35202293字节
• test: 包含942个样本，大小为92174235.35202293字节

数据集大小

• 下载大小: 108355596字节
• 总数据集大小: 921448804.9999999字节

配置

• config_name: default
  • data_files:
    • train: 路径为data/train-*
    • validation: 路径为data/validation-*
    • test: 路径为data/test-*