tags: ["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"]