task_categories:text-generation task_categories:question-answering language:en license:mit size_categories:1K<n<10K format:parquet modality:text library:datasets library:pandas library:polars library:mlcroissant region:us formal-verification lean4 meta-meme ai-muses