Learning Guided Automated Reasoning: A Brief Survey

6 March 2024

Papers citing "Learning Guided Automated Reasoning: A Brief Survey"

5 / 5 papers shown

Title
Efficient Neural Clause-Selection Reinforcement Martin Suda 39 0 0 10 Mar 2025
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Q. Jiang Sean Welleck Jin Peng Zhou Wenda Li Jiacheng Liu M. Jamnik Timothée Lacroix Yuhuai Wu Guillaume Lample AIMat 58 157 0 21 Oct 2022
Fast and Slow Enigmas and Parental Guidance Z. Goertzel Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban 40 11 0 14 Jul 2021
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 54 132 0 10 Oct 2013
Efficient Estimation of Word Representations in Vector Space Tomáš Mikolov Kai Chen G. Corrado J. Dean 3DV 228 31,150 0 16 Jan 2013