task_categories:text-generation language:en license:cc-by-4.0 size_categories:100K<n<1M format:parquet modality:tabular modality:text library:datasets library:pandas library:polars library:mlcroissant arxiv:2505.14313 region:us logic syllogisms premise_selection synthetic