unigram/LogicNLI-reimpl
收藏Hugging Face2024-06-12 更新2024-06-29 收录
下载链接：
https://hf-mirror.com/datasets/unigram/LogicNLI-reimpl
下载链接
链接失效反馈官方服务：
资源简介：
该数据集名为lnli，包含训练、验证和测试三个部分。每个部分包含多个特征，如前提、假设、标签等，数据类型包括字符串和整数。数据集的大小和样本数量在不同分段中有所不同，总下载大小和数据集大小也有明确记录。
该数据集名为lnli，包含训练、验证和测试三个部分。每个部分包含多个特征，如前提、假设、标签等，数据类型包括字符串和整数。数据集的大小和样本数量在不同分段中有所不同，总下载大小和数据集大小也有明确记录。
提供机构：
unigram
原始信息汇总
数据集概述
数据集名称
- lnli
数据集配置
- 默认配置
数据文件路径
- 训练集:
data/train-* - 验证集:
data/validation-* - 测试集:
data/test-*
数据集特征
- 特征名称:
premise- 数据类型:
string
- 数据类型:
- 特征名称:
hypothesis- 数据类型:
string
- 数据类型:
- 特征名称:
label- 数据类型:
string
- 数据类型:
- 特征名称:
premise_tptp- 数据类型:
string
- 数据类型:
- 特征名称:
hypothesis_tptp- 数据类型:
string
- 数据类型:
- 特征名称:
proof_inputs- 数据类型:
sequence
- 数据类型:
- 特征名称:
proof- 数据类型:
string
- 数据类型:
- 特征名称:
rule_concentration- 数据类型:
int64
- 数据类型:
数据集分割
- 训练集
- 字节数: 213987655.2
- 样本数: 48000
- 验证集
- 字节数: 26748456.9
- 样本数: 6000
- 测试集
- 字节数: 26748456.9
- 样本数: 6000
数据集大小
- 下载大小: 76388154
- 数据集总大小: 267484569.0
搜集汇总
数据集介绍
背景与挑战
背景概述
该数据集是一个逻辑推理自然语言推理（LogicNLI）数据集，规模为60,000行，包含前提、假设和标签（如蕴含、矛盾和中性）等字段，并提供了逻辑形式（如TPTP表示）和证明信息，专门用于训练和评估基于逻辑的推理模型。
以上内容由遇见数据集搜集并总结生成
