hitachi-nlp/FLD.v2

Name: hitachi-nlp/FLD.v2
Creator: hitachi-nlp
Published: 2023-12-24 14:36:53
License: 暂无描述

Hugging Face2023-12-24 更新2024-03-04 收录

下载链接：

https://hf-mirror.com/datasets/hitachi-nlp/FLD.v2

下载链接

链接失效反馈

官方服务：

资源简介：

--- dataset_info: - config_name: default features: - name: version dtype: string - name: hypothesis dtype: string - name: hypothesis_formula dtype: string - name: context dtype: string - name: context_formula dtype: string - name: proofs sequence: string - name: proofs_formula sequence: string - name: negative_hypothesis dtype: string - name: negative_hypothesis_formula dtype: string - name: negative_proofs sequence: string - name: negative_original_tree_depth dtype: int64 - 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: proof_label dtype: string - name: negative_proof_label dtype: string - name: world_assump_label dtype: string - name: negative_world_assump_label dtype: string - name: prompt_serial dtype: string - name: proof_serial dtype: string splits: - name: train num_bytes: 103394163 num_examples: 30000 - name: validation num_bytes: 17205990 num_examples: 5000 - name: test num_bytes: 17215356 num_examples: 5000 download_size: 51122839 dataset_size: 137815509 - config_name: star features: - name: version dtype: string - name: hypothesis dtype: string - name: hypothesis_formula dtype: string - name: context dtype: string - name: context_formula dtype: string - name: proofs sequence: string - name: proofs_formula sequence: string - name: negative_hypothesis dtype: string - name: negative_hypothesis_formula dtype: string - name: negative_proofs sequence: string - name: negative_original_tree_depth dtype: int64 - 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: proof_label dtype: string - name: negative_proof_label dtype: string - name: world_assump_label dtype: string - name: negative_world_assump_label dtype: string - name: prompt_serial dtype: string - name: proof_serial dtype: string splits: - name: train num_bytes: 129618848 num_examples: 30000 - name: validation num_bytes: 21529187 num_examples: 5000 - name: test num_bytes: 21731836 num_examples: 5000 download_size: 63147762 dataset_size: 172879871 configs: - config_name: default data_files: - split: train path: data/train-* - split: validation path: data/validation-* - split: test path: data/test-* - config_name: star data_files: - split: train path: star/train-* - split: validation path: star/validation-* - split: test path: star/test-* --- # Dataset Card for "FLD.v2" For the schema of the dataset, see [here](https://github.com/hitachi-nlp/FLD-corpus.git). For the whole of the project, see [our project page](https://github.com/hitachi-nlp/FLD/). [More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)

提供机构：

hitachi-nlp

原始信息汇总

数据集概述

配置信息

默认配置 (default)
- 特征 (Features):
  - version: 字符串
  - hypothesis: 字符串
  - hypothesis_formula: 字符串
  - context: 字符串
  - context_formula: 字符串
  - proofs: 字符串序列
  - proofs_formula: 字符串序列
  - negative_hypothesis: 字符串
  - negative_hypothesis_formula: 字符串
  - negative_proofs: 字符串序列
  - negative_original_tree_depth: 64位整数
  - original_tree_depth: 64位整数
  - depth: 64位整数
  - num_formula_distractors: 64位整数
  - num_translation_distractors: 64位整数
  - num_all_distractors: 64位整数
  - proof_label: 字符串
  - negative_proof_label: 字符串
  - world_assump_label: 字符串
  - negative_world_assump_label: 字符串
  - prompt_serial: 字符串
  - proof_serial: 字符串
- 数据分割 (Splits):
  - train: 30000个样本，103394163字节
  - validation: 5000个样本，17205990字节
  - test: 5000个样本，17215356字节
- 下载大小: 51122839字节
- 数据集大小: 137815509字节
星型配置 (star)
- 特征 (Features):
  - version: 字符串
  - hypothesis: 字符串
  - hypothesis_formula: 字符串
  - context: 字符串
  - context_formula: 字符串
  - proofs: 字符串序列
  - proofs_formula: 字符串序列
  - negative_hypothesis: 字符串
  - negative_hypothesis_formula: 字符串
  - negative_proofs: 字符串序列
  - negative_original_tree_depth: 64位整数
  - original_tree_depth: 64位整数
  - depth: 64位整数
  - num_formula_distractors: 64位整数
  - num_translation_distractors: 64位整数
  - num_all_distractors: 64位整数
  - proof_label: 字符串
  - negative_proof_label: 字符串
  - world_assump_label: 字符串
  - negative_world_assump_label: 字符串
  - prompt_serial: 字符串
  - proof_serial: 字符串
- 数据分割 (Splits):
  - train: 30000个样本，129618848字节
  - validation: 5000个样本，21529187字节
  - test: 5000个样本，21731836字节
- 下载大小: 63147762字节
- 数据集大小: 172879871字节

数据文件路径

默认配置 (default)
- train: data/train-*
- validation: data/validation-*
- test: data/test-*
星型配置 (star)
- train: star/train-*
- validation: star/validation-*
- test: star/test-*

5,000+

优质数据集

54 个

任务类型

进入经典数据集