Enhancing ENIGMA given clause guidance

DOI10.1007/978-3-319-96812-4_11zbMath1417.68184OpenAlexW2883677812MaRDI QIDQ1798957

Jan Jakubův, Josef Urban

Publication date: 18 October 2018

Full work available at URL: https://zenodo.org/record/4515348

Mathematics Subject Classification ID

Related Items

Fast and slow enigmas and parental guidance ⋮ Vampire with a brain is a good ITP hammer ⋮ Make E Smart Again (Short Paper) ⋮ ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) ⋮ The CADE-27 Automated theorem proving System Competition – CASC-27 ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper). ⋮ Improving ENIGMA-style clause selection while learning from history ⋮ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) ⋮ ENIGMA

Uses Software

• LIBLINEAR
• E Theorem Prover
• MaLARea

This page was built for publication: Enhancing ENIGMA given clause guidance