智能增强的定理证明工具性能测试数据集

数据集包含智能增强的定理证明工具性能测试的原始数据、中间数据和实验结果数据。其中原始数据为开源的miniF2F测试数据集的子集，包含244个奥林匹克竞赛、高中和本科难度数学证明题，所有问题都使用Isabelle编写。中间数据为从miniF2F测试数据集提取的Isabelle定理描述所组成的JSON列表文件。实验结果数据分别包含由Isabelle sledgehammer和智能增强的定理证明工具生成的正确证明。