First Neural Conjecturing Datasets and Experiments

29 May 2020

Papers citing "First Neural Conjecturing Datasets and Experiments"

6 / 6 papers shown

Title
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski Josef Urban LRM 24 21 0 11 Mar 2020
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar Qingxiang Wang C. Brown C. Kaliszyk Josef Urban AIMat AI4CE 113 51 0 05 Dec 2019
Self-Learned Formula Synthesis in Set Theory C. Brown Thibault Gauthier 35 3 0 03 Dec 2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 49 65 0 07 Mar 2019
Deep Reinforcement Learning Yuxi Li VLM OffRL 108 144 0 15 Oct 2018
First Experiments with Neural Translation of Informal to Formal Mathematics Qingxiang Wang C. Kaliszyk Josef Urban AI4CE 69 60 0 10 May 2018