size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: state
    list:
    - name: context
      list:
      - name: name
        dtype: string
      - name: type
        dtype: string
    - name: tag
      dtype: string
    - name: type
      dtype: string
  - name: header
    dtype: string
  - name: formal_stmt
    dtype: string
  splits:
  - name: train
    num_bytes: 13067
    num_examples: 25
  download_size: 8150
  dataset_size: 13067
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
---
