["size_categories:1K<n<10K", "format:parquet", "modality:tabular", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"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"}]