size_categories:1K<n<10K format:parquet modality:tabular modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: version
    dtype: string
  - name: hypothesis
    dtype: string
  - name: hypothesis_formula
    dtype: string
  - name: facts
    dtype: string
  - name: facts_formula
    dtype: string
  - name: proofs
    sequence: string
  - name: proofs_formula
    sequence: string
  - name: negative_hypothesis
    dtype: string
  - name: negative_hypothesis_formula
    dtype: string
  - name: negative_proofs
    sequence: string
  - name: negative_original_tree_depth
    dtype: int64
  - name: original_tree_steps
    dtype: int64
  - name: original_tree_depth
    dtype: int64
  - name: steps
    dtype: int64
  - name: depth
    dtype: int64
  - name: num_formula_distractors
    dtype: int64
  - name: num_translation_distractors
    dtype: int64
  - name: num_all_distractors
    dtype: int64
  - name: proof_label
    dtype: string
  - name: negative_proof_label
    dtype: string
  - name: world_assump_label
    dtype: string
  - name: negative_world_assump_label
    dtype: string
  - name: prompt_serial
    dtype: string
  - name: proof_serial
    dtype: string
  - name: prompt_serial_formula
    dtype: string
  - name: proof_serial_formula
    dtype: string
  splits:
  - name: train
    num_bytes: 2721315
    num_examples: 500
  - name: test
    num_bytes: 2705603
    num_examples: 500
  download_size: 1875784
  dataset_size: 5426918
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
  - split: test
    path: data/test-*
---
