MaLeCoP. Machine learning connection prover
From MaRDI portal
Recommendations
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
- Machine learning for first-order theorem proving
- Machine Learning for Inductive Theorem Proving
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
- Theorem proving in large formal mathematics as an emerging AI field
Cites work
- An introduction to support vector machines and other kernel-based learning methods.
- Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings
- Evaluation of automated theorem proving on the Mizar mathematical library
- scientific article; zbMATH DE number 1809861 (Why is no real title available?)
- IeanCOP: lean connection-based theorem proving
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
- MPTP 0.2: Design, implementation, and initial experiments
- Restricting backtracking in connection calculi
- Sine qua non for large theory reasoning
- Translating higher-order clauses to first-order clauses
Cited in
(24)- MaLeCoP
- HOL(y)Hammer: online ATP service for HOL Light
- TacticToe: learning to prove with tactics
- Machine learning guidance for connection tableaux
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- The role of entropy in guiding a connection prover
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- ENIGMA: efficient learning-based inference guiding machine
- Portfolio theorem proving and prover runtime prediction for geometry
- Internal guidance for Satallax
- Mizar: state-of-the-art and beyond
- Efficient Low-Level Connection Tableaux
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
- Learning-assisted theorem proving with millions of lemmas
- Theorem proving in large formal mathematics as an emerging AI field
- Prolog Technology Reinforcement Learning Prover
- Hammering Mizar by Learning Clause Guidance (Short Paper).
- CoProver: a recommender system for proof construction
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- Learning guided automated reasoning: a brief survey
- ATWGNNS: graph simplified representation and learning of logical formula for premise selection
- Fast and slow enigmas and parental guidance
- Vampire with a brain is a good ITP hammer
Describes a project that uses
Uses Software
This page was built for publication: MaLeCoP. Machine learning connection prover
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3010374)
