task_categories:text-generation task_categories:question-answering task_ids:open-domain-qa language:en license:mit size_categories:100K<n<1M format:json modality:text library:datasets library:pandas library:polars library:mlcroissant region:us mathematics math sft supervised-fine-tuning instruction-tuning instruction-following mathematical-reasoning theorem-proving proof algebra geometry calculus number-theory combinatorics olympiad problem-solving llm dataset educational synthetic-data chain-of-thought-removed cot-removed cleaned-dataset deduplicated fine-tuning qwen reasoning