size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: fullname
    dtype: string
  - name: formal_statement
    dtype: string
  - name: noname_DS
    dtype: string
  - name: noname_Q72
    dtype: string
  - name: noname_QM72
    dtype: string
  - name: simple_DS
    dtype: string
  - name: simple_Q72
    dtype: string
  - name: simple_QM72
    dtype: string
  - name: short_2_DS
    dtype: string
  - name: short_2_Q72
    dtype: string
  - name: short_2_QM72
    dtype: string
  splits:
  - name: train
    num_bytes: 513828
    num_examples: 50
  download_size: 272718
  dataset_size: 513828
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
---
