Certified Connection Tableaux Proofs for HOL Light and TPTP

20 October 2014

Papers citing "Certified Connection Tableaux Proofs for HOL Light and TPTP"

5 / 5 papers shown

Title
Project proposal: A modular reinforcement learning based automated theorem prover Boris Shminke 61 1 0 06 Sep 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
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 83 16 0 30 May 2019
Reinforcement Learning of Theorem Proving C. Kaliszyk Josef Urban Henryk Michalewski Miroslav Olsák 56 148 0 19 May 2018
Monte Carlo Tableau Proof Search Michael Färber C. Kaliszyk Josef Urban 69 14 0 18 Nov 2016