task_categories:text-generation task_ids:language-modeling annotations_creators:no-annotation language_creators:found multilinguality:monolingual language:en license:apache-2.0 size_categories:100K<n<1M modality:text library:datasets library:mlcroissant region:us math mathematics formal-mathematics