task_categories:text-generation language:en license:apache-2.0 size_categories:n<1K format:json modality:tabular modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2509.25411 region:us sat boolean-satisfiability imitation-learning autoregressive perceiver-ar