unigram/fol-01g

---
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: 857091115.2
num_examples: 120000
- name: validation
num_bytes: 107136389.4
num_examples: 15000
- name: test
num_bytes: 107136389.4
num_examples: 15000
download_size: 308134441
dataset_size: 1071363894.0
---
# Dataset Card for "fol-01g"

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

The dataset fol-01g includes train, validation, and test splits. The features of the dataset are premise, hypothesis, label, premise_tptp, hypothesis_tptp, proof_inputs, and proof. All features are of string type, with proof_inputs being a sequence of strings. The total download size of the dataset is 308134441 bytes, and the total dataset size is 1071363894.0 bytes.

原始信息汇总

数据集概述

数据集配置

• 默认配置：
  • 训练集：路径为 data/train-*
  • 验证集：路径为 data/validation-*
  • 测试集：路径为 data/test-*

数据集信息

• 特征：

  • premise：类型为字符串
  • hypothesis：类型为字符串
  • label：类型为字符串
  • premise_tptp：类型为字符串
  • hypothesis_tptp：类型为字符串
  • proof_inputs：类型为字符串序列
  • proof：类型为字符串

• 数据分割：

  • 训练集：
    • 字节数：857091115.2
    • 样本数：120000
  • 验证集：
    • 字节数：107136389.4
    • 样本数：15000
  • 测试集：
    • 字节数：107136389.4
    • 样本数：15000

• 数据集大小：

  • 下载大小：308134441 字节
  • 数据集总大小：1071363894.0 字节