斯坦福大学 发布 IneqMath 数据集, 应用在 数学教育、机器学习 领域

斯坦福大学 本次发布的数据集 IneqMath, IneqMath是一个由专家精心策划的不等式问题数据集，包含200个由国际数学奥林匹克奖牌得主设计的测试问题和1252个来自高级教材的训练问题。每个训练问题都附有最多四个逐步解决方案，并且76.8%的训练问题被标注了与解决方案相关的83个定理。数据集采用非正式的语言，通过边界估计和关系预测两个子任务来评估不等式证明，旨在推动大型语言模型在不等式证明方面的能力。

查看IneqMath

关于 斯坦福大学 , 斯坦福大学是美国的一所私立研究型大学，位于加利福尼亚州的斯坦福，是美国西海岸的学术中心之一，也是世界著名的学府，在多个学科领域有着卓越的研究成果和国际影响力。

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