西湖大学 发布 FATE (Formal Algebra Theorem Evaluation) 数据集, 应用在 数学形式化、代数定理评估 领域

西湖大学 本次发布的数据集 FATE (Formal Algebra Theorem Evaluation), FATE是一个形式代数定理评估的新基准系列，旨在反映现代数学研究的深度、广度和抽象性。该系列包含FATE-H和FATE-X两个新组件，每个组件包含100个抽象代数和交换代数问题。FATE系列涵盖了从本科练习到超过博士资格考试难度的问题。FATE-X是第一个在博士水平考试难度和Mathlib库覆盖范围上均超越的形式基准。FATE的数据集由专家数学家选择并正式化，以确保质量和原创性。FATE旨在为研究水平的数学形式化和问题解决提供一个强大的和具有挑战性的基准。

查看FATE (Formal Algebra Theorem Evaluation)

README 内容： 

关于 西湖大学 , 西湖大学是一所位于中国杭州的私立研究型大学，以开展前沿科学研究和技术创新为主，旨在成为一所世界一流的研究型大学。

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