首批神经猜想数据集与实验
人工智能
2020-06-01 v1 机器学习
计算机科学中的逻辑
神经与进化计算
符号计算
摘要
我们描述了几个数据集以及使用神经方法创建猜想的初步实验。这些数据集基于以多种形式处理的 Mizar Mathematical Library，以及由 MPTP 系统从中提取并由 E prover 使用 ENIGMA 指导证明的问题。猜想实验使用了 Transformer 架构，特别是其 GPT-2 实现。
引用
@article{arxiv.2005.14664,
title = {First Neural Conjecturing Datasets and Experiments},
author = {Josef Urban and Jan Jakubův},
journal= {arXiv preprint arXiv:2005.14664},
year = {2020}
}
备注
Accepted to CICM 2020