Prover9 发布 AIM Data Set 数据集, 应用在 自动定理证明、符号重写 领域

Prover9 本次发布的数据集 AIM Data Set, 该数据集是从数学领域自动定理证明器发现的证明中提取的示例（AIM循环）。数据集被分为训练集（60%）、验证集（10%）和测试集（30%）。规模涵盖20个数据集（8个地面数据集，12个非地面数据集），示例数量从251到34,101不等。任务的目的是学习符号重写，以应用于地面和非地面术语。

查看AIM Data Set

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