Automated proof synthesis for propositional logic with deep neural networks

@article{Sekiyama2018AutomatedPS,
  title={Automated proof synthesis for propositional logic with deep neural networks},
  author={Taro Sekiyama and Kohei Suenaga},
  journal={CoRR},
  year={2018},
  volume={abs/1805.11799}
}
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. Based on this model, we give a proof… CONTINUE READING