tasksource/FOL-nli

数据集名为FOL-nli，主要用于文本分类任务，涉及逻辑推理和自然语言推理（NLI）。数据集包含训练集、验证集和测试集，每个样本包含前提（premise）、假设（hypothesis）、标签（label）等特征。此外，数据集还包含与一阶逻辑（FOL）相关的特征，如premise_tptp、hypothesis_tptp、proof_inputs、proof和rule_concentration。数据集的语言为英语，标签为逻辑推理（logic）、推理（reasoning）和一阶逻辑（fol）。数据集的许可证为Apache 2.0。

The dataset is named FOL-nli and is primarily used for text classification tasks involving logical reasoning and natural language inference (NLI). The dataset includes training, validation, and test sets, with each sample containing features such as premise, hypothesis, label, and others related to first-order logic (FOL), including premise_tptp, hypothesis_tptp, proof_inputs, proof, and rule_concentration. The dataset is in English and is tagged with logic, reasoning, and first-order logic (fol). The dataset is licensed under Apache 2.0.

原始信息汇总

FOL-nli 数据集概述

数据集配置

• 默认配置：
  • 训练集：路径为 data/train-*，包含 82219 个样本，大小为 545983394.2802362 字节。
  • 验证集：路径为 data/validation-*，包含 10278 个样本，大小为 68252074.65929127 字节。
  • 测试集：路径为 data/test-*，包含 10277 个样本，大小为 68245434.06047249 字节。

数据集信息

• 特征：
  • premise：前提，数据类型为 string。
  • hypothesis：假设，数据类型为 string。
  • label：标签，数据类型为 string。
  • premise_tptp：TPTP 格式的前提，数据类型为 string。
  • hypothesis_tptp：TPTP 格式的假设，数据类型为 string。
  • proof_inputs：证明输入，数据类型为 sequence。
  • proof：证明，数据类型为 string。
  • rule_concentration：规则浓度，数据类型为 float64。

数据集大小

• 下载大小：182483284 字节
• 数据集总大小：682480903 字节

许可证

• 许可证：Apache 2.0

任务类别

• 任务类别：文本分类

语言

• 语言：英语

标签

• 标签：
  • 逻辑
  • 推理
  • 一阶逻辑
  • 一阶逻辑