shreyasharma/proofs2

---
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: 1307278
num_examples: 1313
download_size: 609969
dataset_size: 1307278
---
# Dataset Card for "proofs2"

[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
  • 数据类型：字符串。
• label
  • 数据类型：int64。

数据集分割

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

数据集大小

• 下载大小：609969字节。
• 数据集大小：1307278字节。