发布 ConstructiveBench 数据集, 应用在 数学竞赛、定理证明 领域

本次发布的数据集 ConstructiveBench, 该数据集名为ConstructiveBench，包含了3,431个来自知名数学竞赛的答案构建问题，这些问题都经过了Lean形式化验证。数据集不仅包括非正式和正式的问题陈述、正确答案、Lean形式定理、非正式解答，还包含了诸如领域、来源和难度等元数据。为了解决潜在的数据污染问题，数据集中特别包含了一个由92个问题组成的测试子集。该数据集的任务涵盖了数学问题中的答案构建和定理证明。

查看ConstructiveBench

README 内容： 

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。