task_categories:text-classification license:mit size_categories:1K<n<10K format:parquet modality:tabular modality:text library:datasets library:pandas library:mlcroissant library:polars region:us logical-reasoning first-order-logic evaluation cot llm-benchmark