RoMath：罗马尼亚语数学推理基准

数学长期以自然语言进行表达，主要为人类理解所服务。随着机械化数学和形式化证明助理的兴起，越来越需要理解非正式的数学文本，但大多数现有基准仅关注英文，忽略了其他语言。本文介绍 RoMath，一个罗马尼亚语数学推理基准套组，包含三个子集：Baccalaureate（毕业考试）、Competitions（竞赛）和 Synthetic（综合），涵盖广泛的数学领域和难度水平，旨在改善非英语言模型的性能，促进多语言人工智能的发展。通过聚焦罗马尼亚语——一种资源较少且具有独特语言特征的语言，RoMath 解决了以英语为中心的模型的局限性，强调需要除简单自动翻译之外的专门资源。我们对几种开源语言模型进行基准测试，突显了为资源不足的语言创建资源的重要性。代码和数据集将公开提供。