ENIGMAWatch: ProofWatch meets ENIGMA

DOI10.1007/978-3-030-29026-9_21zbMath1435.68370arXiv1905.09565MaRDI QIDQ2180529

Josef Urban, Zarathustra A. Goertzel, Jan Jakubův

Publication date: 14 May 2020

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

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Uses Software

• ENIGMA