unigram/fol-01f

---
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
splits:
- name: train
num_bytes: 591604481.6
num_examples: 96000
- name: validation
num_bytes: 73950560.2
num_examples: 12000
- name: test
num_bytes: 73950560.2
num_examples: 12000
download_size: 212408780
dataset_size: 739505602.0000001
---
# Dataset Card for "fol-01f"

[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)

The dataset fol-01f includes train, validation, and test sets. The features of the dataset are premise, hypothesis, label, premise_tptp, hypothesis_tptp, proof_inputs, and proof, all of which are of string type. The train set contains 96000 samples, while both the validation and test sets contain 12000 samples each. The total download size of the dataset is 212408780 bytes, and the total size is 739505602.0000001 bytes.

原始信息汇总

数据集概述

配置信息

• 默认配置 (config_name: default)
  • 数据文件路径
    • 训练集 (split: train): data/train-*
    • 验证集 (split: validation): data/validation-*
    • 测试集 (split: test): data/test-*

数据集特征

• 特征名称 (name) 和 数据类型 (dtype)
  • premise: 字符串
  • hypothesis: 字符串
  • label: 字符串
  • premise_tptp: 字符串
  • hypothesis_tptp: 字符串
  • proof_inputs: 序列字符串
  • proof: 字符串

数据集分割

• 训练集 (name: train)
  • 样本数量 (num_examples): 96000
  • 数据大小 (num_bytes): 591604481.6 字节
• 验证集 (name: validation)
  • 样本数量 (num_examples): 12000
  • 数据大小 (num_bytes): 73950560.2 字节
• 测试集 (name: test)
  • 样本数量 (num_examples): 12000
  • 数据大小 (num_bytes): 73950560.2 字节

数据集大小

• 下载大小 (download_size): 212408780 字节
• 数据集总大小 (dataset_size): 739505602.0000001 字节