shreyasharma/proofs3
收藏Hugging Face2022-11-25 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/shreyasharma/proofs3
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: intermediate_conclusions
struct:
- name: int1
dtype: string
- name: int10
dtype: string
- name: int11
dtype: string
- name: int12
dtype: string
- name: int13
dtype: string
- name: int14
dtype: string
- name: int15
dtype: string
- name: int16
dtype: string
- name: int17
dtype: string
- name: int2
dtype: string
- name: int3
dtype: string
- name: int4
dtype: string
- name: int5
dtype: string
- name: int6
dtype: string
- name: int7
dtype: string
- name: int8
dtype: string
- name: int9
dtype: string
- name: step_proof
dtype: string
- name: triples
struct:
- name: sent1
dtype: string
- name: sent10
dtype: string
- name: sent11
dtype: string
- name: sent12
dtype: string
- name: sent13
dtype: string
- name: sent14
dtype: string
- name: sent15
dtype: string
- name: sent16
dtype: string
- name: sent17
dtype: string
- name: sent2
dtype: string
- name: sent3
dtype: string
- name: sent4
dtype: string
- name: sent5
dtype: string
- name: sent6
dtype: string
- name: sent7
dtype: string
- name: sent8
dtype: string
- name: sent9
dtype: string
- name: hypothesis
dtype: string
- name: question
dtype: string
- name: answer
dtype: string
- name: label
dtype: int64
splits:
- name: train
num_bytes: 2614556
num_examples: 2626
download_size: 1188057
dataset_size: 2614556
---
# Dataset Card for "proofs3"
[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)
提供机构：
shreyasharma
原始信息汇总
数据集概述
数据集特征
- intermediate_conclusions:
- 结构化数据，包含以下字段：
- int1, int2, ..., int17: 数据类型均为字符串。
- 结构化数据，包含以下字段：
- step_proof: 数据类型为字符串。
- triples:
- 结构化数据，包含以下字段：
- sent1, sent2, ..., sent17: 数据类型均为字符串。
- 结构化数据，包含以下字段：
- hypothesis: 数据类型为字符串。
- question: 数据类型为字符串。
- answer: 数据类型为字符串。
- label: 数据类型为int64。
数据集拆分
- train:
- 数据大小: 2614556字节
- 示例数量: 2626
数据集大小
- 下载大小: 1188057字节
- 数据集大小: 2614556字节
