Automated proof synthesis for the minimal propositional logic with deep neural networks

DOI10.1007/978-3-030-02768-1_17zbMath1519.68315arXiv1805.11799OpenAlexW2896461135MaRDI QIDQ6166153

Taro Sekiyama, Kohei Suenaga

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.11799

zbMATH Keywords

neural networksautomated theorem provingdeep learning

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Automated proof synthesis for the minimal propositional logic with deep neural networks