shreyasharma/proofs

---
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
splits:
- name: train
num_bytes: 1296774
num_examples: 1313
download_size: 609276
dataset_size: 1296774
---
# Dataset Card for "proofs"

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

原始信息汇总

数据集概述

数据集特征

• intermediate_conclusions:

  • 结构化特征，包含以下子特征：
    • int1 至 int17，数据类型均为字符串。

• step_proof:

  • 数据类型：字符串。

• triples:

  • 结构化特征，包含以下子特征：
    • sent1 至 sent17，数据类型均为字符串。

• hypothesis:

  • 数据类型：字符串。

• question:

  • 数据类型：字符串。

• answer:

  • 数据类型：字符串。

数据集划分

• train:
  • 数据大小：1296774字节。
  • 示例数量：1313。

数据集大小

• 下载大小：609276字节。
• 数据集总大小：1296774字节。