# Automated proof synthesis for propositional logic with deep neural networks

30 May 2018

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. To this end, we construct a statistical model which quantifies the likelihood that a proof is indeed a correct one of a given proposition... (read more)

PDF Abstract