phanerozoic/Coq-HoTT-QA

Coq-HoTT Q&A数据集是Coq-HoTT数据集的对话式扩展，直接从Coq-HoTT GitHub仓库中提取。该数据集将同伦类型理论（HoTT）内容转换为结构化的问答对，旨在连接形式数学和对话式AI。每个条目代表一个数学陈述，如定义或定理，转换为自然语言问答格式，同时保留原始数学上下文。数据集包括问题、答案和上下文字段，并提供了示例行。数据集适用于对话式AI训练、形式方法研究和教育目的。

The Coq-HoTT Q&A Dataset is a conversational extension of the Coq-HoTT Dataset, derived directly from the Coq-HoTT GitHub repository. This dataset transforms Homotopy Type Theory (HoTT) content into structured Q&A pairs, bridging the gap between formal mathematics and conversational AI. Each entry in the dataset represents a mathematical statement, such as a definition or theorem, converted into a natural language question-answer format while preserving the original mathematical context. The dataset includes the following fields: question, answer, and context, and provides an example row. The dataset is designed for conversational AI training, formal methods research, and educational purposes.