First Neural Conjecturing Datasets and Experiments

机译：第一批神经推测数据集和实验

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We describe several datasets and first experiments with creating conjectures by neural methods. The datasets are based on the Mizar Mathematical Library processed in several forms and the problems extracted from it by the MPTP system and proved by the E prover using the ENIGMA guidance. The conjecturing experiments use the Transformer architecture and in particular its GPT-2 implementation.

机译：我们描述了一些数据集和通过神经方法创建猜想的第一个实验。数据集基于以多种形式处理的Mizar数学库，以及MPTP系统从中提取的问题，并由E证明者使用ENIGMA指南进行证明。推测实验使用了Transformer体系结构，尤其是其GPT-2实施方案。

著录项

来源
《International Conference on Intelligent Computer Mathematics》|2020年|315-323|共9页
会议地点
作者
Josef Urban; Jan Jakubuv;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. A new neural network (tiling-contextual neural network for structures, TC-NNfS) enabling the treatment of relatively small datasets of therapeutic interest: An application to a small dataset of ACE inhibitors [J] . Niccolo Carli, Ilaria Massarelli, Anna Maria Bianucci Chemometrics and Intelligent Laboratory Systems . 2014,第Null期

机译：一种新的神经网络（用于结构的平铺上下文神经网络，TC-NNfS）能够处理相对较小的具有治疗意义的数据集：在ACE抑制剂的小型数据集中的应用
2. Improving cardiac MRI convolutional neural network segmentation on small training datasets and dataset shift: A continuous kernel cut approach [J] . Guo Fumin, Ng Matthew, Goubran Maged, Medical image analysis . 2020,第1期

机译：改进小型训练数据集和数据集班次的心脏MRI卷积神经网络分割：连续内核切割方法
3. The fortedata R package: open-science datasets from a manipulative experiment testing forest resilience [J] . Atkins Jeff W., Mathes Kayla, McGuigan Catherine, Earth System Science Data . 2021,第3期

机译：FolteData R包：来自操纵实验的开放式数据集测试森林恢复力
4. Experiments with Neural Net Object Detection System YOLO on Small Training Datasets for Intelligent Robotics [C] . S. D. Kulik, A. N. Shtanko International Conference on Intelligent Technologies in Robotics . 2020

机译：关于智能机器人小型训练数据集的神经净物体检测系统YOLO的实验
5. Iterative Cell Extraction and Registration for Analysis of Time-Lapse Neural Calcium Imaging Datasets [D] . ?Tasci, Tugce 2020

机译：迭代细胞提取和注册分析延时神经钙成像数据集
6. Encrypted audio dataset based on the Collatz conjecture [O] . Diego Renza, Sebastian Mendoza, Dora M. Ballesteros L 2019

机译：基于Collatz猜想的加密音频数据集
7. First Neural Conjecturing Datasets and Experiments [O] . Josef Urban, Jan Jakubův 2020

机译：第一神经猜测数据集和实验

First Neural Conjecturing Datasets and Experiments

摘要

著录项

相似文献

相关主题

期刊订阅