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 字节