Reinforcement Learning of Theorem Proving

19 May 2018

Henryk Michalewski

Papers citing "Reinforcement Learning of Theorem Proving"

50 / 51 papers shown

Title
Study and improvement of search algorithms in two-players perfect information games Quentin Cohen-Solal 32 1 0 06 May 2025
Efficient Neural Clause-Selection Reinforcement Martin Suda 97 0 0 10 Mar 2025
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis Julian Parsert Elizabeth Polgreen 61 4 0 13 Jul 2023
Lemmas: Generation, Selection, Application Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 65 7 0 10 Mar 2023
Safety without alignment András Kornai M. Bukatin Zsolt Zombori LLMSV 55 0 0 27 Feb 2023
Alien Coding Thibault Gauthier Miroslav Olsák J. Urban 72 8 0 27 Jan 2023
Learning to solve arithmetic problems with a virtual abacus Flavio Petruzzellis Ling-Hao Chen Alberto Testolin 72 1 0 17 Jan 2023
Peano: Learning Formal Mathematical Reasoning Gabriel Poesia Noah D. Goodman LRM 85 21 0 29 Nov 2022
Genetic Algorithm for Program Synthesis Yutaka Nagashima 74 1 0 22 Nov 2022
Machine Learning Meets The Herbrand Universe Jelle Piepenbrock Josef Urban Konstantin Korovin Miroslav Olvsák Tom Heskes Mikolávs Janota NAI 55 3 0 07 Oct 2022
Project proposal: A modular reinforcement learning based automated theorem prover Boris Shminke 64 1 0 06 Sep 2022
Learning to Prove Trigonometric Identities Zhouwu Liu Yujun Li Zhengying Liu Lin Li Zheng Li 66 3 0 14 Jul 2022
Solving Quantitative Reasoning Problems with Language Models Aitor Lewkowycz Anders Andreassen David Dohan Ethan Dyer Henryk Michalewski ... Theo Gutman-Solo Yuhuai Wu Behnam Neyshabur Guy Gur-Ari Vedant Misra ReLM ELM LRM 242 865 0 29 Jun 2022
Simplifying Polylogarithms with Machine Learning Aurélien Dersy M. Schwartz Xiao-Yan Zhang AI4CE 210 16 0 08 Jun 2022
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks Andrew C. Li Pashootan Vaezipoor Rodrigo Toro Icarte Sheila A. McIlraith OffRL LRM 39 4 0 03 Jun 2022
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis Jonathan Laurent André Platzer 107 9 0 27 May 2022
HyperTree Proof Search for Neural Theorem Proving Guillaume Lample Marie-Anne Lachaux Thibaut Lavril Xavier Martinet Amaury Hayat Gabriel Ebner Aurelien Rodriguez Timothée Lacroix AIMat 98 151 0 23 May 2022
The Isabelle ENIGMA Z. Goertzel Jan Jakubruv C. Kaliszyk Miroslav Olvsák Jelle Piepenbrock Josef Urban AIMat 44 13 0 04 May 2022
Adversarial Learning to Reason in an Arbitrary Logic Stanislaw J. Purgal C. Kaliszyk 64 1 0 06 Apr 2022
Integration of knowledge and data in machine learning Yuntian Chen Dongxiao Zhang PINN 93 34 0 15 Feb 2022
Proving Theorems using Incremental Learning and Hindsight Experience Replay Eser Aygun Laurent Orseau Ankit Anand Xavier Glorot Vlad Firoiu Lei M. Zhang Doina Precup Shibl Mourad CLL LRM 104 18 0 20 Dec 2021
Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems Keyur Faldu A. Sheth Prashant Kikani Manas Gaur Aditi Avasthi LRM 62 17 0 29 Oct 2021
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning Minchao Wu Takeshi Tsukada Hiroshi Unno Taro Sekiyama Kohei Suenaga 89 0 0 16 Jul 2021
Fast and Slow Enigmas and Parental Guidance Z. Goertzel Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban 78 11 0 14 Jul 2021
Contrastive Reinforcement Learning of Symbolic Reasoning Domains Gabriel Poesia Wenxin Dong Noah D. Goodman 164 19 0 16 Jun 2021
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
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 117 127 0 11 Feb 2021
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu Albert Qiaochu Jiang Jimmy Ba Roger C. Grosse AIMat 105 55 0 06 Jul 2020
Learning to Prove from Synthetic Theorems Eser Aygun Zafarali Ahmed Ankit Anand Vlad Firoiu Xavier Glorot Laurent Orseau Doina Precup Shibl Mourad NAI 70 20 0 19 Jun 2020
Neural heuristics for SAT solving Sebastian Jaszczur M. Luszczyk Henryk Michalewski NAI 48 12 0 27 May 2020
Prolog Technology Reinforcement Learning Prover Zsolt Zombori Josef Urban C. Brown OffRL 58 14 0 15 Apr 2020
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek Josef Urban H. Geuvers 114 24 0 20 Mar 2020
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski Josef Urban LRM 54 21 0 11 Mar 2020
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 132 50 0 17 Feb 2020
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic Ibrahim Abdelaziz Veronika Thost Mayank Agarwal Achille Fokoue 61 6 0 02 Feb 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
Property Invariant Embedding for Automated Reasoning Miroslav Olsák C. Kaliszyk Josef Urban NAI 63 41 0 27 Nov 2019
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier 44 13 0 25 Oct 2019
Learning dynamic polynomial proofs Alhussein Fawzi Mateusz Malinowski Hamza Fawzi Omar Fawzi 61 17 0 04 Jun 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 83 16 0 30 May 2019
Learning to Reason in Large Theories without Imitation Kshitij Bansal Christian Szegedy M. Rabe Sarah M. Loos Viktor Toman NAI LRM 107 42 0 25 May 2019
ENIGMAWatch: ProofWatch Meets ENIGMA Z. Goertzel Jan Jakubuv Josef Urban 59 16 0 23 May 2019
Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang Jia Deng AIMat LRM 112 147 0 21 May 2019
On Learning to Prove Daniel Huang 57 3 0 24 Apr 2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Kshitij Bansal Sarah M. Loos M. Rabe Christian Szegedy S. Wilcox AIMat 92 51 0 05 Apr 2019
Hammering Mizar by Learning Clause Guidance Jan Jakubuv Josef Urban 65 46 0 02 Apr 2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 65 65 0 07 Mar 2019
Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning M. Kusumoto Keisuke Yahata Masahiro Sakai AIMat LRM 61 11 0 02 Nov 2018
Deep Reinforcement Learning Yuxi Li VLM OffRL 194 144 0 15 Oct 2018
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee Sanjit A. Seshia 89 38 0 20 Jul 2018