Stateful Premise Selection by Recurrent Neural Networks

11 March 2020

Papers citing "Stateful Premise Selection by Recurrent Neural Networks"

13 / 13 papers shown

Title
Learning Conjecturing from Scratch Thibault Gauthier J. Urban LRM 80 1 0 03 Mar 2025
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 160 36 0 20 Dec 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 123 32 0 15 Apr 2024
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 93 5 0 06 Mar 2024
MizAR 60 for Mizar 50 Jan Jakubruv Karel Chvalovský Z. Goertzel C. Kaliszyk Mirek Olvsák Bartosz Piotrowski S. Schulz Martin Suda Josef Urban 87 13 0 12 Mar 2023
Magnushammer: A Transformer-Based Approach to Premise Selection Maciej Mikuła Szymon Tworkowski Szymon Antoniak Bartosz Piotrowski Albert Qiaochu Jiang Jinyi Zhou Christian Szegedy Lukasz Kuciñski Piotr Milo's Yuhuai Wu 161 46 0 08 Mar 2023
The Isabelle ENIGMA Z. Goertzel Jan Jakubruv C. Kaliszyk Miroslav Olvsák Jelle Piepenbrock Josef Urban AIMat 49 13 0 04 May 2022
Learning to Guide a Saturation-Based Theorem Prover Ibrahim Abdelaziz Mayank Agarwal B. Makni Vernon Austil Cristina Cornelio ... Pavan Kapanipathi Ndivhuwo Makondo Kavitha Srinivas Michael Witbrock Achille Fokoue 54 17 0 07 Jun 2021
Vampire With a Brain Is a Good ITP Hammer Martin Suda 71 12 0 06 Feb 2021
Faster Smarter Induction in Isabelle/HOL Yutaka Nagashima 87 7 0 19 Sep 2020
First Neural Conjecturing Datasets and Experiments Josef Urban Jan Jakubuv AIMat 78 39 0 29 May 2020
Can Neural Networks Learn Symbolic Rewriting? Bartosz Piotrowski Josef Urban C. Brown C. Kaliszyk NAI 71 18 0 07 Nov 2019
Beam Search Strategies for Neural Machine Translation Markus Freitag Yaser Al-Onaizan 129 396 0 06 Feb 2017