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字节。