language:en license:mit size_categories:1K<n<10K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2411.07240 region:us UTMath UTMath_Train Reasoning-to-coding Thoughts RCoT