SAIRfoundation/equational-theories-selected-problems

该数据集包含为数学蒸馏挑战：方程理论竞赛第一阶段选定的问题子集，包括公共训练子集和发布的阶段1评估子集。数据集旨在帮助参与者测试和实验，包含不同难度级别的问题，每个问题都有方程对和一个答案标签，表示第一个方程是否蕴含第二个方程。数据集包含多个子集，如normal、hard、hard1、hard2、hard3以及多个评估子集，每个子集都有详细的元数据描述其来源、难度、问题数量等。

This dataset comprises a curated subset of problems for the Mathematical Distillation Challenge: Equation Theory Competition Phase 1, including the public training subset and the released Phase 1 evaluation subset. The dataset is designed to assist participants in testing and experimentation, covering problems of varying difficulty levels. Each problem comes with an equation pair and an answer label indicating whether the first equation entails the second one. The dataset includes multiple subsets such as normal, hard, hard1, hard2, hard3, as well as multiple evaluation subsets. Each subset has detailed metadata describing its source, difficulty level, number of problems, and other relevant information.