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