task_categories:text-retrieval task_categories:text-classification task_categories:question-answering language:en license:mit size_categories:1K<n<10K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us mathematics statements theorems proofs retrieval knowledge-graph mathematical-reasoning questions