unigram/fol-01h
收藏Hugging Face2024-05-29 更新2024-06-12 收录
下载链接：
https://hf-mirror.com/datasets/unigram/fol-01h
下载链接
链接失效反馈官方服务：
资源简介：
---
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: 1263466332.8
num_examples: 144000
- name: validation
num_bytes: 157933291.6
num_examples: 18000
- name: test
num_bytes: 157933291.6
num_examples: 18000
download_size: 426085950
dataset_size: 1579332915.9999998
---
# Dataset Card for "fol-01h"
[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)
The dataset is designed for first-order logic (FOL) tasks and includes multiple configurations, with the default configuration including train, validation, and test datasets. The dataset features include premise, hypothesis, label, premise TPTP representation, hypothesis TPTP representation, proof inputs, proof, and rule concentration. Each feature has its data type, such as string or float64. The dataset is divided into three parts: the training set contains 144000 samples, and both the validation and test sets contain 18000 samples each. The total download size of the dataset is 426085950 bytes, and the total size is 1579332915.9999998 bytes.
提供机构：
unigram
原始信息汇总
数据集概述
配置信息
- 默认配置 (
default):- 训练集:
data/train-* - 验证集:
data/validation-* - 测试集:
data/test-*
- 训练集:
数据集特征
- 名称:
fol-01h - 特征列表:
premise: 字符串类型hypothesis: 字符串类型label: 字符串类型premise_tptp: 字符串类型hypothesis_tptp: 字符串类型proof_inputs: 字符串序列类型proof: 字符串类型rule_concentration: 浮点数类型 (float64)
数据集划分
- 训练集:
- 样本数: 144000
- 大小: 1263466332.8 字节
- 验证集:
- 样本数: 18000
- 大小: 157933291.6 字节
- 测试集:
- 样本数: 18000
- 大小: 157933291.6 字节
数据集大小
- 下载大小: 426085950 字节
- 数据集总大小: 1579332915.9999998 字节
