task_categories:zero-shot-classification language:en size_categories:1K<n<10K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2309.15098 arxiv:2504.07081 arxiv:2504.11336 region:us reasoning-datasets-competition reasoning logic constraint-satisfaction scheduling combinatorial