scientific article
From MaRDI portal
Publication:2739546
zbMath0994.68130MaRDI QIDQ2739546
No author found.
Publication date: 10 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Vampire with a brain is a good ITP hammer ⋮ ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ Internal Guidance for Satallax ⋮ Improving ENIGMA-style clause selection while learning from history ⋮ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
