task_categories:text-generation task_categories:other task_ids:explanation-generation task_ids:language-modeling annotations_creators:expert-generated language_creators:expert-generated multilinguality:monolingual source_datasets:original language:en license:mit size_categories:n<1K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2210.12283 region:us formal-mathematics theorem-proving mathematical-reasoning