region:us
---
dataset_info:
  features:
  - name: sentences
    sequence: string
  - name: label
    dtype: int64
  splits:
  - name: train
    num_bytes: 2580049
    num_examples: 3939
  - name: dev
    num_bytes: 377139
    num_examples: 561
  - name: test
    num_bytes: 683199
    num_examples: 1020
  download_size: 1138168
  dataset_size: 3640387
---
# Dataset Card for "step_proofs"

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