Highly Influential

@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} }

- Published 2018 in ArXiv

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

### Presentations referencing similar topics