task_categories:text-generation task_categories:question-answering annotations_creators:expert-generated annotations_creators:machine-generated language:en license:mit size_categories:n<1K format:text modality:text library:datasets library:mlcroissant region:us mathematical-reasoning geometry euclidean-geometry theorem-proving symbolic-math neuro-symbolic benchmark evaluation reasoning