task_categories:text-classification task_categories:text-generation task_categories:question-answering task_ids:natural-language-inference task_ids:multi-input-text-classification source_datasets:original language:en license:apache-2.0 size_categories:100K<n<1M format:parquet modality:text library:datasets library:dask library:mlcroissant library:polars arxiv:2406.11035 region:us logic reasoning fol first-order-logic syllogism sorite math