数据集概述
本数据集包含四千八百八十六个中学计算密集型代数问题，每个问题配有自然语言解答和带注释的EFG（显式推理图），EFG以简洁可读的格式展示解题步骤。数据集共九个文件，主要为JSON格式，用于评估和改进工具增强的数学推理能力。
文件详解
- 数据文件（JSON格式，共8个）
- 文件名称：
test.en.json、dev.json、demo.en.json、demo.json、test.json、train.en.json、train.json、dev.en.json
- 文件格式：JSON
- 字段映射介绍：包含中学计算密集型代数问题、自然语言解答文本及带注释的EFG结构数据，不同后缀区分训练（train）、测试（test）、开发（dev）和演示（demo）用途，en后缀可能对应英文版本
- 其他文件
- 文件名称：
LICENSE
- 文件格式：无扩展名
- 字段映射介绍：包含数据集使用许可信息
适用场景
- 数学推理工具评估: 测试工具在解决计算密集型代数问题时的准确性和推理能力
- 教育技术优化: 改进面向中学生的数学辅助工具，提升计算推理教学效果
- 自然语言处理研究: 训练和评估处理数学问题解答的语言模型
- 推理过程可视化: 基于EFG注释研究数学解题步骤的结构化表示方法
