phanerozoic/Coq-UniMath-QA

UniMath Q&A数据集是UniMath数据集的对话扩展，源自UniMath数学形式化内容。该数据集将Univalent Mathematics的内容转化为结构化的问答对，使得形式化的数学内容通过自然语言交互更加易于理解。每个条目代表一个从UniMath中提取的数学陈述（如定义、定理、引理等），并将其转换为自然语言的问答格式，同时保留了原始的数学上下文。数据集的结构包括问题、答案和上下文三个字段。数据集覆盖了UniMath的主要库，并适用于对话AI、数学教育、形式方法研究和文档生成等多个领域。

The UniMath Q&A Dataset is a conversational extension of the UniMath Dataset, derived from the UniMath formalization of mathematics (https://github.com/UniMath/UniMath). This dataset transforms Univalent Mathematics content into structured Q&A pairs, making formal mathematical content more accessible through natural language interactions. Each entry represents a mathematical statement from UniMath (definition, theorem, lemma, etc.) converted into a natural language question-answer format while preserving the original mathematical context. The dataset includes the following fields: question, answer, and context. It covers Q&A pairs derived from all major UniMath libraries and is designed for conversational AI, mathematical education, formal methods research, and documentation generation. The dataset is distributed under the UniMath license.