MathArena/hmmt_feb_2025

HMMT February 2025数据集包含了用于MathArena Leaderboard的2025年2月HMMT数学竞赛的问题。每个问题都包含问题索引、完整的问题陈述和问题的真实答案。

The HMMT February 2025 dataset contains questions used for the MathArena Leaderboard from the HMMT February 2025 Math Competition. Each question includes the problem index, the full problem statement, and the ground-truth answer to the question.

搜集汇总

数据集介绍

构建方式

MathArena/hmmt_feb_2025数据集的构建，是基于HMMT February 2025数学竞赛的题目。数据集的构建者从竞赛中提取问题，将其转换为LaTeX格式，并进行验证，确保了数据的准确性和可读性。该数据集包含题目索引、题目陈述、答案以及题目类型，其中题目类型涵盖组合数学、数论、代数和几何等多个数学分支。

特点

本数据集的特点在于，它提供了一个纯净的数学竞赛题目环境，用于评估大型语言模型在数学问题解答上的性能。数据集规模较小，包含的题目数量不足千道，但类型丰富，覆盖了数学竞赛中的多个关键领域。此外，数据集遵循CC BY-NC-SA 4.0国际许可，保证了数据在非商业用途下的自由使用和共享。

使用方法

在使用MathArena/hmmt_feb_2025数据集时，用户可从其官方网站或GitHub存储库下载。数据集以训练集的形式提供，可通过路径data/train-*访问。用户需遵守数据的使用许可，正确引用数据来源，并在非商业研究或教育活动中使用。数据集适用于机器学习模型训练、性能评估以及数学问题解答相关的研究工作。

背景与挑战

背景概述

在数学教育及人工智能领域，评估语言模型对数学问题的解决能力是一项关键任务。HMMT February 2025数据集，由ETH Zurich的SRI Lab于2025年发布，旨在为数学竞赛问题提供标准化的评估资源。该数据集汇集了30个数学问题，涵盖了组合数学、数论、代数和几何等多个数学分支，为研究人员和开发者提供了一个真实且未经污染的数学问题库，对提升数学教育相关的人工智能模型具有重要意义。

当前挑战

该数据集在构建过程中面临了两大挑战：一是如何准确无误地提取并转换数学竞赛中的问题，确保其格式和内容的准确性；二是如何在遵循Attribution-NonCommercial-ShareAlike 4.0国际许可的前提下，平衡数据集的开放性与版权保护。此外，数据集在解决数学问题分类和自动评分方面的应用，也需面对算法准确性和泛化能力的挑战。

常用场景

经典使用场景

在数学教育及人工智能领域，HMMT February 2025数据集的经典使用场景主要集中于对数学问题的自动解答和分类研究。该数据集提供了竞赛中的数学问题及其解答，使得研究人员能够训练和评估模型在处理不同类型数学问题时的准确性和效率。

解决学术问题

该数据集解决了学术研究中如何准确评估机器学习模型在数学问题解答方面的性能问题。通过提供标准化的数学问题和答案，它为研究人员提供了一个可靠的基准，有助于推动数学教育领域的人工智能技术发展。

衍生相关工作

基于该数据集，研究者们已经开展了一系列相关工作，包括但不限于数学问题解答模型的构建与优化，数学知识图谱的构建，以及面向教育的自然语言处理技术的应用研究，极大地推动了数学教育领域的技术进步。