troy1729/SIRD-27M

--- license: cc-by-nc-4.0 --- # Dataset Card for Dataset Name SIRD-27M: Symbolic Integration Rules Dataset is one of its kind dataset with function-integration rules pairs. Integration rules are the immediate next rules that should be applied on the function in order to solve its integral. ## Dataset Details SIRD-27M consists of 27 Million+ distinct samples covering 24 different integration rules. ### Dataset Description expr_27465168.csv consists of two columns: - **function:** string column with mathematical functions - **rules:** string column with integration rule names and an expression for certain rules like substitution rule, etc. ## Uses SIRD-27M can be utilised for various usecases: - This can be used to train a model to learn which integration rule should be applied next to a function. Furthermore the model can highly speedup and might also improve success rate.

原始信息汇总

数据集概述

数据集名称

SIRD-27M: Symbolic Integration Rules Dataset

数据集描述

SIRD-27M 是一个独特的数据集，包含函数与积分规则对。积分规则是解决函数积分的直接下一步应应用的规则。

数据集详情

• 样本数量: 超过2700万条
• 覆盖规则: 24种不同的积分规则

数据结构

• 文件: expr_27465168.csv
• 列:
  • function: 包含数学函数的字符串列
  • rules: 包含积分规则名称和某些规则（如替换规则）表达式的字符串列

用途

SIRD-27M 可用于多种用途：

• 用于训练模型，学习在函数上应应用的下一个积分规则，从而提高计算速度和成功率。