task_categories:question-answering language:en license:mit size_categories:1M<n<10M format:parquet modality:text library:datasets library:dask library:polars library:mlcroissant arxiv:2509.18083 region:us SFT reasoning logic procedural formal synthetic pretraining pre-training corpus