region:us
---
dataset_info:
  features:
  - name: sentences
    dtype: string
  - name: label
    dtype: int64
  splits:
  - name: train
    num_bytes: 2614964
    num_examples: 12525
  - name: dev
    num_bytes: 382036
    num_examples: 1791
  - name: test
    num_bytes: 692593
    num_examples: 3327
  download_size: 1160241
  dataset_size: 3689593
---
# Dataset Card for "step_proofs2"

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