scientific article; zbMATH DE number 7368510
From MaRDI portal
Publication:4999300
DOI10.3233/FAIA200244zbMath1464.68317arXiv1911.12073MaRDI QIDQ4999300
Cezary Kaliszyk, Miroslav Olšák, Josef Urban
Publication date: 6 July 2021
Full work available at URL: https://arxiv.org/abs/1911.12073
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Artificial neural networks and deep learning (68T07) Learning and adaptive systems in artificial intelligence (68T05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (8)
Improving stateful premise selection with transformers ⋮ Fast and slow enigmas and parental guidance ⋮ Towards finding longer proofs ⋮ The role of entropy in guiding a connection prover ⋮ The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ Learning theorem proving components ⋮ Neural precedence recommender ⋮ Improving ENIGMA-style clause selection while learning from history
This page was built for publication:
