task_categories:text-generation language:en size_categories:1K<n<10K format:parquet modality:text library:datasets library:pandas library:polars library:mlcroissant arxiv:2512.07407 region:us math symbolic-reasoning prolog gsm8k