size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: informal_statement
    dtype: string
  - name: formal_statement
    dtype: string
  - name: distilabel_metadata
    struct:
    - name: raw_input_proof_generator
      list:
      - name: content
        dtype: string
      - name: role
        dtype: string
    - name: raw_output_proof_generator
      dtype: string
    - name: statistics_proof_generator
      struct:
      - name: input_tokens
        dtype: int64
      - name: output_tokens
        dtype: int64
  - name: model_name
    dtype: string
  - name: natural_language
    dtype: string
  - name: analysis
    dtype: string
  - name: assessment
    dtype: string
  - name: proof
    dtype: string
  splits:
  - name: train
    num_bytes: 35393
    num_examples: 10
  download_size: 35746
  dataset_size: 35393
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
---
