size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: instruction
    dtype: string
  - name: input
    dtype: string
  - name: output
    list:
    - name: reasoning
      dtype: string
    - name: step
      dtype: int64
    - name: operation
      dtype: string
    - name: step_status
      dtype: string
    - name: z3_code
      dtype: string
    - name: z3_status
      dtype: string
    - name: validation
      struct:
      - name: reasoning
        dtype: string
      - name: z3_validation_result
        dtype: string
    - name: retry
      dtype: int64
    - name: retry_reason
      dtype: string
    - name: retry_status
      dtype: string
    - name: final_status
      dtype: string
  splits:
  - name: train
    num_bytes: 66357
    num_examples: 16
  download_size: 33781
  dataset_size: 66357
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
---
