cestwc/FLD_gen

---
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: hypothesis
dtype: string
- name: context
dtype: string
- name: hypothesis_formula
dtype: string
- name: context_formula
dtype: string
- name: proofs
sequence: string
- name: proof_label
dtype: string
- name: proofs_formula
sequence: string
- name: world_assump_label
dtype: string
- name: original_tree_depth
dtype: int64
- name: depth
dtype: int64
- name: num_formula_distractors
dtype: int64
- name: num_translation_distractors
dtype: int64
- name: num_all_distractors
dtype: int64
- name: negative_hypothesis
dtype: string
- name: negative_hypothesis_formula
dtype: string
- name: negative_original_tree_depth
dtype: int64
- name: negative_proofs
sequence: string
- name: negative_proof_label
dtype: string
- name: negative_world_assump_label
dtype: string
- name: prompt_serial
dtype: string
- name: proof_serial
dtype: string
- name: version
dtype: string
- name: premise
dtype: string
- name: assumptions
sequence: string
- name: paraphrased_premises
sequence: string
- name: paraphrased_premise
dtype: string
- name: assumption
dtype: string
splits:
- name: train
num_bytes: 154414314
num_examples: 36401
- name: validation
num_bytes: 25351138
num_examples: 6004
- name: test
num_bytes: 25945020
num_examples: 6160
download_size: 45117566
dataset_size: 205710472
---
# Dataset Card for "FLD_gen"

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

configs:
- config_name: 默认
data_files:
- split: 训练集
path: data/train-*
- split: 验证集
path: data/validation-*
- split: 测试集
path: data/test-*
dataset_info:
features:
- name: 假设（hypothesis）
dtype: 字符串（string）
- name: 上下文（context）
dtype: 字符串（string）
- name: 假设公式（hypothesis_formula）
dtype: 字符串（string）
- name: 上下文公式（context_formula）
dtype: 字符串（string）
- name: 证明序列（proofs）
dtype: 字符串序列（sequence<string>）
- name: 证明标签（proof_label）
dtype: 字符串（string）
- name: 证明公式序列（proofs_formula）
dtype: 字符串序列（sequence<string>）
- name: 世界假设标签（world_assump_label）
dtype: 字符串（string）
- name: 原始树深度（original_tree_depth）
dtype: 64位整数（int64）
- name: 深度（depth）
dtype: 64位整数（int64）
- name: 公式干扰项数量（num_formula_distractors）
dtype: 64位整数（int64）
- name: 翻译干扰项数量（num_translation_distractors）
dtype: 64位整数（int64）
- name: 总干扰项数量（num_all_distractors）
dtype: 64位整数（int64）
- name: 负样本假设（negative_hypothesis）
dtype: 字符串（string）
- name: 负样本假设公式（negative_hypothesis_formula）
dtype: 字符串（string）
- name: 负样本原始树深度（negative_original_tree_depth）
dtype: 64位整数（int64）
- name: 负样本证明序列（negative_proofs）
dtype: 字符串序列（sequence<string>）
- name: 负样本证明标签（negative_proof_label）
dtype: 字符串（string）
- name: 负样本世界假设标签（negative_world_assump_label）
dtype: 字符串（string）
- name: 提示序列编号（prompt_serial）
dtype: 字符串（string）
- name: 证明序列编号（proof_serial）
dtype: 字符串（string）
- name: 版本（version）
dtype: 字符串（string）
- name: 前提（premise）
dtype: 字符串（string）
- name: 假设序列（assumptions）
dtype: 字符串序列（sequence<string>）
- name: 释义前提序列（paraphrased_premises）
dtype: 字符串序列（sequence<string>）
- name: 释义前提（paraphrased_premise）
dtype: 字符串（string）
- name: 单个假设（assumption）
dtype: 字符串（string）
splits:
- name: 训练集
num_bytes: 154414314
num_examples: 36401
- name: 验证集
num_bytes: 25351138
num_examples: 6004
- name: 测试集
num_bytes: 25945020
num_examples: 6160
download_size: 45117566 字节
dataset_size: 205710472 字节
---
# “FLD_gen”数据集卡片
[需补充更多信息](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)

原始信息汇总

数据集概述

数据集配置

• 配置名称: default
• 数据文件:
  • 训练集: data/train-*
  • 验证集: data/validation-*
  • 测试集: data/test-*

数据集信息

• 特征:
  • hypothesis: 字符串
  • context: 字符串
  • hypothesis_formula: 字符串
  • context_formula: 字符串
  • proofs: 字符串序列
  • proof_label: 字符串
  • proofs_formula: 字符串序列
  • world_assump_label: 字符串
  • original_tree_depth: 64位整数
  • depth: 64位整数
  • num_formula_distractors: 64位整数
  • num_translation_distractors: 64位整数
  • num_all_distractors: 64位整数
  • negative_hypothesis: 字符串
  • negative_hypothesis_formula: 字符串
  • negative_original_tree_depth: 64位整数
  • negative_proofs: 字符串序列
  • negative_proof_label: 字符串
  • negative_world_assump_label: 字符串
  • prompt_serial: 字符串
  • proof_serial: 字符串
  • version: 字符串
  • premise: 字符串
  • assumptions: 字符串序列
  • paraphrased_premises: 字符串序列
  • paraphrased_premise: 字符串
  • assumption: 字符串

数据集分割

• 训练集:
  • 字节数: 154414314
  • 样本数: 36401
• 验证集:
  • 字节数: 25351138
  • 样本数: 6004
• 测试集:
  • 字节数: 25945020
  • 样本数: 6160

数据集大小

• 下载大小: 45117566 字节
• 数据集大小: 205710472 字节