First neural conjecturing datasets and experiments

DOI10.1007/978-3-030-53518-6_24zbMath1455.68261arXiv2005.14664OpenAlexW3042720530MaRDI QIDQ2219416

Josef Urban, Jan Jakubův

Publication date: 20 January 2021

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

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Towards finding longer proofs ⋮ Alien coding

Uses Software

• Mizar
• ENIGMA

This page was built for publication: First neural conjecturing datasets and experiments