task_categories:question-answering task_categories:text-generation task_categories:other language:en license:lgpl-2.1 size_categories:n<1K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars region:us theorem-proving formal-methods coq changelog version-control question-answering