pepoo20/Symbol_Elementary_Math

--- dataset_info: - config_name: Greatest_Common_Divisor features: - name: Text Responses dtype: string - name: Symbolic Form dtype: string - name: Symbolic Answers dtype: string - name: WordProblem dtype: bool splits: - name: train num_bytes: 7544 num_examples: 20 download_size: 6698 dataset_size: 7544 - config_name: Inequalities features: - name: Text Responses dtype: string - name: Symbolic Form dtype: string - name: Symbolic Answers dtype: string - name: WordProblem dtype: bool splits: - name: train num_bytes: 14946 num_examples: 40 download_size: 12024 dataset_size: 14946 - config_name: Least_Common_Multiple features: - name: Text Responses dtype: string - name: Symbolic Form dtype: string - name: Symbolic Answers dtype: string - name: WordProblem dtype: bool splits: - name: train num_bytes: 9558 num_examples: 20 download_size: 8050 dataset_size: 9558 - config_name: System_Linear features: - name: Text Responses dtype: string - name: Symbolic Form dtype: string - name: Symbolic Answers dtype: string - name: WordProblem dtype: bool splits: - name: train num_bytes: 10518 num_examples: 20 download_size: 9319 dataset_size: 10518 configs: - config_name: Greatest_Common_Divisor data_files: - split: train path: Greatest_Common_Divisor/train-* - config_name: Inequalities data_files: - split: train path: Inequalities/train-* - config_name: Least_Common_Multiple data_files: - split: train path: Least_Common_Multiple/train-* - config_name: System_Linear data_files: - split: train path: System_Linear/train-* ---数据集信息： - 配置名称：最大公约数（Greatest_Common_Divisor） 特征项： - 文本响应（Text Responses）：数据类型为字符串 - 符号形式（Symbolic Form）：数据类型为字符串 - 符号答案（Symbolic Answers）：数据类型为字符串 - 应用题（WordProblem）：数据类型为布尔值 数据划分： - 划分名称：训练集（train），字节数：7544，样本数量：20 下载大小：6698，数据集总大小：7544 - 配置名称：不等式（Inequalities） 特征项： - 文本响应（Text Responses）：数据类型为字符串 - 符号形式（Symbolic Form）：数据类型为字符串 - 符号答案（Symbolic Answers）：数据类型为字符串 - 应用题（WordProblem）：数据类型为布尔值 数据划分： - 划分名称：训练集（train），字节数：14946，样本数量：40 下载大小：12024，数据集总大小：14946 - 配置名称：最小公倍数（Least_Common_Multiple） 特征项： - 文本响应（Text Responses）：数据类型为字符串 - 符号形式（Symbolic Form）：数据类型为字符串 - 符号答案（Symbolic Answers）：数据类型为字符串 - 应用题（WordProblem）：数据类型为布尔值 数据划分： - 划分名称：训练集（train），字节数：9558，样本数量：20 下载大小：8050，数据集总大小：9558 - 配置名称：线性方程组（System_Linear） 特征项： - 文本响应（Text Responses）：数据类型为字符串 - 符号形式（Symbolic Form）：数据类型为字符串 - 符号答案（Symbolic Answers）：数据类型为字符串 - 应用题（WordProblem）：数据类型为布尔值 数据划分： - 划分名称：训练集（train），字节数：10518，样本数量：20 下载大小：9319，数据集总大小：10518 配置项： - 配置名称：最大公约数（Greatest_Common_Divisor），数据文件： - 划分：训练集（train），路径：Greatest_Common_Divisor/train-* - 配置名称：不等式（Inequalities），数据文件： - 划分：训练集（train），路径：Inequalities/train-* - 配置名称：最小公倍数（Least_Common_Multiple），数据文件： - 划分：训练集（train），路径：Least_Common_Multiple/train-* - 配置名称：线性方程组（System_Linear），数据文件： - 划分：训练集（train），路径：System_Linear/train-*

原始信息汇总

数据集概述

数据集配置

Greatest_Common_Divisor

• 特征:
  • Text Responses: 字符串
  • Symbolic Form: 字符串
  • Symbolic Answers: 字符串
  • WordProblem: 布尔值
• 分割:
  • train:
    • 字节数: 7544
    • 示例数: 20
• 下载大小: 6698
• 数据集大小: 7544

Inequalities

• 特征:
  • Text Responses: 字符串
  • Symbolic Form: 字符串
  • Symbolic Answers: 字符串
  • WordProblem: 布尔值
• 分割:
  • train:
    • 字节数: 14946
    • 示例数: 40
• 下载大小: 12024
• 数据集大小: 14946

Least_Common_Multiple

• 特征:
  • Text Responses: 字符串
  • Symbolic Form: 字符串
  • Symbolic Answers: 字符串
  • WordProblem: 布尔值
• 分割:
  • train:
    • 字节数: 9558
    • 示例数: 20
• 下载大小: 8050
• 数据集大小: 9558

System_Linear

• 特征:
  • Text Responses: 字符串
  • Symbolic Form: 字符串
  • Symbolic Answers: 字符串
  • WordProblem: 布尔值
• 分割:
  • train:
    • 字节数: 10518
    • 示例数: 20
• 下载大小: 9319
• 数据集大小: 10518

数据文件

• Greatest_Common_Divisor:

  • 分割: train
  • 路径: Greatest_Common_Divisor/train-*

• Inequalities:

  • 分割: train
  • 路径: Inequalities/train-*

• Least_Common_Multiple:

  • 分割: train
  • 路径: Least_Common_Multiple/train-*

• System_Linear:

  • 分割: train
  • 路径: System_Linear/train-*

搜集汇总

背景与挑战

背景概述

该数据集名为'Symbol_Elementary_Math'，是一个专注于基础数学符号计算的小型数据集，包含最大公约数、不等式、最小公倍数和线性系统等4个子集，共100行数据。数据以文本形式存储，包含数学问题的文本描述、符号化表示和答案，部分问题以应用题形式呈现，适用于数学教育或符号计算任务。