region:us
---
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)