Automated proof synthesis for propositional logic with deep neural networks

30 May 2018

Papers citing "Automated proof synthesis for propositional logic with deep neural networks"

2 / 2 papers shown

Title
Neural heuristics for SAT solving Sebastian Jaszczur M. Luszczyk Henryk Michalewski NAI 43 12 0 27 May 2020
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