size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: informal_stmt
    dtype: string
  - name: id
    dtype: string
  - name: header
    dtype: string
  - name: aug_id
    dtype: string
  - name: generated_formal_stmt
    dtype: string
  - name: validation
    dtype: string
  - name: validation_detail
    dtype: string
  - name: prompt
    dtype: string
  - name: back_translate
    dtype: string
  - name: nil_output
    dtype: string
  - name: nil_output_final
    dtype: string
  splits:
  - name: train
    num_bytes: 93867.84581497798
    num_examples: 33
  download_size: 43194
  dataset_size: 93867.84581497798
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
---
