ENIGMAWatch: ProofWatch meets ENIGMA

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

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

Publication date: 14 May 2020

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (5)

Fast and slow enigmas and parental guidance ⋮ Make E Smart Again (Short Paper) ⋮ ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) ⋮ Prolog Technology Reinforcement Learning Prover ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper).

Uses Software

• ENIGMA

This page was built for publication: ENIGMAWatch: ProofWatch meets ENIGMA