task_categories:text-classification task_ids:natural-language-inference annotations_creators:expert-generated language_creators:crowdsourced multilinguality:monolingual source_datasets:original language:en license:bsd size_categories:10K<n<100K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:1502.05698 region:us logical reasoning nli natural-language-inference reasoning logic