Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic

20 June 2017

Papers citing "Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic"

3 / 3 papers shown

Title
Measuring Systematic Generalization in Neural Proof Generation with Transformers Nicolas Angelard-Gontier Koustuv Sinha Siva Reddy C. Pal LRM 106 64 0 30 Sep 2020
Automated proof synthesis for propositional logic with deep neural networks Taro Sekiyama Kohei Suenaga NAI 46 10 0 30 May 2018
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero Fei Wang Tiark Rompf NAI 40 6 0 14 Feb 2018