ENIGMA

swMATH28655MaRDI QIDQ40369

No author found.

Described by source

• Enhancing ENIGMA given clause guidance

Related Items (23)

ENIGMA: efficient learning-based inference guiding machine ⋮ Online machine learning techniques for Coq: a comparison ⋮ Learning to solve geometric construction problems from images ⋮ 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) ⋮ Prolog Technology Reinforcement Learning Prover ⋮ Towards finding longer proofs ⋮ \textsf{lazyCoP}: lazy paramodulation meets neurally guided search ⋮ The role of entropy in guiding a connection prover ⋮ Learning theorem proving components ⋮ A neurally-guided, parallel theorem prover ⋮ ENIGMAWatch: ProofWatch meets ENIGMA ⋮ First neural conjecturing datasets and experiments ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper). ⋮ Machine learning guidance for connection tableaux ⋮ ProofWatch: watchlist guidance for large theories in E ⋮ Neural precedence recommender ⋮ Improving ENIGMA-style clause selection while learning from history ⋮ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) ⋮ Guiding an automated theorem prover with neural rewriting ⋮ The 10th IJCAR automated theorem proving system competition – CASC-J10

This page was built for software: ENIGMA