南京大学 发布 FineLeanCorpus 数据集, 应用在 数学问题、自然语言处理 领域

南京大学 本次发布的数据集 FineLeanCorpus, FineLeanCorpus 是一个包含超过 28.5 万个数学问题的数据集，涵盖了广泛的数学领域和难度等级。该数据集经过严格的人类评估，保证了其高正确性。FineLeanCorpus 的创建基于 CriticLean 框架，旨在评估模型区分语义正确和错误形式化的能力。数据集的多样性、难度分布和严格的语义验证，使其成为一个结构平衡的训练环境，有助于解决数学自动形式化中的挑战。

查看FineLeanCorpus

README 内容： 

关于 南京大学 , 南京大学是中国的一所著名高等学府，位于江苏省南京市，拥有悠久的历史和良好的学术声誉，在国内外具有较高的影响力。

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