MaLeCoP

swMATH7197MaRDI QIDQ19250

No author found.

Described by source

• MaLeCoP Machine Learning Connection Prover

Related Items (28)

ENIGMA: efficient learning-based inference guiding machine ⋮ Automated and Human Proofs in General Mathematics: An Initial Comparison ⋮ Fast and slow enigmas and parental guidance ⋮ Vampire with a brain is a good ITP hammer ⋮ Prolog Technology Reinforcement Learning Prover ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Mizar: State-of-the-art and Beyond ⋮ \textsf{lazyCoP}: lazy paramodulation meets neurally guided search ⋮ The role of entropy in guiding a connection prover ⋮ Efficient Low-Level Connection Tableaux ⋮ Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics ⋮ FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover ⋮ Monte Carlo tableau proof search ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper). ⋮ TacticToe: Learning to Reason with HOL4 Tactics ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ HOL(y)Hammer: online ATP service for HOL Light ⋮ TacticToe: learning to prove with tactics ⋮ Machine learning guidance for connection tableaux ⋮ ProofWatch: watchlist guidance for large theories in E ⋮ ATPboost: learning premise selection in binary setting with ATP feedback ⋮ Internal Guidance for Satallax ⋮ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) ⋮ Automated Reasoning Service for HOL Light ⋮ Hammering towards QED ⋮ Lemma Mining over HOL Light ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)

This page was built for software: MaLeCoP