task_categories:text-generation task_categories:question-answering annotations_creators:no-annotation language:en license:mit size_categories:1K<n<10K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars region:us mathematics graduate-level research-level synthetic-data long-proof reasoning fine-tuning math proof latex