Guiding inferences in connection tableau by recurrent neural networks

DOI10.1007/978-3-030-53518-6_23zbMath1455.68252arXiv1905.07961OpenAlexW3042960190MaRDI QIDQ2219415

Bartosz Piotrowski, Josef Urban

Publication date: 20 January 2021

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

zbMATH Keywords

neural networksinternal guidanceconnection tableau

Mathematics Subject Classification ID

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

Related Items (1)

Towards finding longer proofs

This page was built for publication: Guiding inferences in connection tableau by recurrent neural networks