task_categories:text-generation license:apache-2.0 size_categories:10K<n<100K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2507.08267 region:us mathematics reasoning llm aimo token-prediction problem-difficulty