["size_categories:10K<n<100K", "format:parquet", "modality:tabular", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"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"}, {"name": "premise", "dtype": "string"}, {"name": "assumptions", "sequence": "string"}, {"name": "paraphrased_premises", "sequence": "string"}, {"name": "paraphrased_premise", "dtype": "string"}, {"name": "assumption", "dtype": "string"}]