DRAW-1k

DRAW-1K是一个由 1000 个代数应用题组成的数据集，半自动注释用于评估自动求解器。 DRAW 包括黄金系数对齐，这是唯一标识方程系统的推导所必需的。