Tactic Learning and Proving for the Coq Proof Assistant

20 March 2020

Papers citing "Tactic Learning and Proving for the Coq Proof Assistant"

6 / 6 papers shown

Title
Proof Recommendation System for the HOL4 Theorem Prover Nour Dekhil Adnan Rashid Sofiene Tahar 61 1 0 31 Dec 2024
ENIGMAWatch: ProofWatch Meets ENIGMA Z. Goertzel Jan Jakubuv Josef Urban 18 16 0 23 May 2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 35 65 0 07 Mar 2019
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 68 133 0 10 Oct 2013
Machine Learning in Proof General: Interfacing Interfaces Ekaterina Komendantskaya Jónathan Heras G. Grov 51 56 0 14 Dec 2012
Learning-Assisted Automated Reasoning with Flyspeck C. Kaliszyk Josef Urban LRM 51 162 0 29 Nov 2012