Automated proof synthesis for propositional logic with deep neural networks

Taro Sekiyama, Kohei Suenaga

This work explores the application of deep learning, a machine learning technique that uses deep neural networks (DNN) in its core, to an automated theorem proving (ATP) problem. T…