task_categories:text-classification task_ids:natural-language-inference task_ids:multi-input-text-classification multilinguality:monolingual language:en license:apache-2.0 size_categories:10K<n<100K format:parquet modality:tabular modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2305.03353 region:us theory of mind tom Logical-Reasoning Modal-Logic Reasoning Logics Logic nli model-checking natural language inference