region:us
---
dataset_info:
- config_name: default
  features:
  - name: hypothesis
    dtype: string
  - name: context
    dtype: string
  - name: hypothesis_formula
    dtype: string
  - name: context_formula
    dtype: string
  - name: proofs
    sequence: string
  - name: proof_label
    dtype: string
  - name: proofs_formula
    sequence: string
  - name: world_assump_label
    dtype: string
  - name: original_tree_depth
    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: negative_hypothesis
    dtype: string
  - name: negative_hypothesis_formula
    dtype: string
  - name: negative_original_tree_depth
    dtype: int64
  - name: negative_proofs
    sequence: string
  - name: negative_proof_label
    dtype: string
  - name: negative_world_assump_label
    dtype: string
  - name: prompt_serial
    dtype: string
  - name: proof_serial
    dtype: string
  - name: version
    dtype: string
  splits:
  - name: train
    num_bytes: 102341795
    num_examples: 30000
  - name: validation
    num_bytes: 17036757
    num_examples: 5000
  - name: test
    num_bytes: 17032009
    num_examples: 5000
  download_size: 50518265
  dataset_size: 136410561
- config_name: star
  features:
  - name: hypothesis
    dtype: string
  - name: context
    dtype: string
  - name: hypothesis_formula
    dtype: string
  - name: context_formula
    dtype: string
  - name: proofs
    sequence: string
  - name: proof_label
    dtype: string
  - name: proofs_formula
    sequence: string
  - name: world_assump_label
    dtype: string
  - name: original_tree_depth
    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: negative_hypothesis
    dtype: string
  - name: negative_hypothesis_formula
    dtype: string
  - name: negative_original_tree_depth
    dtype: int64
  - name: negative_proofs
    sequence: string
  - name: negative_proof_label
    dtype: string
  - name: negative_world_assump_label
    dtype: string
  - name: prompt_serial
    dtype: string
  - name: proof_serial
    dtype: string
  - name: version
    dtype: string
  splits:
  - name: train
    num_bytes: 127005152
    num_examples: 30000
  - name: validation
    num_bytes: 21077447
    num_examples: 5000
  - name: test
    num_bytes: 21297828
    num_examples: 5000
  download_size: 61803899
  dataset_size: 169380427
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
  - split: validation
    path: data/validation-*
  - split: test
    path: data/test-*
- config_name: star
  data_files:
  - split: train
    path: star/train-*
  - split: validation
    path: star/validation-*
  - split: test
    path: star/test-*
---
# Dataset Card for "FLD.v2"

[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)