MaLARea
From MaRDI portal
Software:22241
No author found.
Related Items (55)
ENIGMA: efficient learning-based inference guiding machine ⋮ Automated and Human Proofs in General Mathematics: An Initial Comparison ⋮ MizAR 40 for Mizar 40 ⋮ Make E Smart Again (Short Paper) ⋮ ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) ⋮ Prolog Technology Reinforcement Learning Prover ⋮ ATP-based cross-verification of Mizar proofs: method, systems, and first experiments ⋮ Mizar: State-of-the-art and Beyond ⋮ Towards finding longer proofs ⋮ The role of entropy in guiding a connection prover ⋮ Automated Reasoning in the Wild ⋮ Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics ⋮ A learning-based fact selector for Isabelle/HOL ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ Machine learning for mathematical software ⋮ Detecting inconsistencies in large first-order knowledge bases ⋮ A neurally-guided, parallel theorem prover ⋮ Guiding high-performance SAT solvers with unsat-core predictions ⋮ ATP Cross-Verification of the Mizar MPTP Challenge Problems ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ ATP and presentation service for Mizar formalizations ⋮ MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ Hierarchical invention of theorem proving strategies ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper). ⋮ MaLeCoP Machine Learning Connection Prover ⋮ TacticToe: Learning to Reason with HOL4 Tactics ⋮ Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12--15, 2008 Proceedings ⋮ Large theory reasoning with SUMO at CASC ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar ⋮ E-MaLeS 1.1 ⋮ Premise Selection in the Naproche System ⋮ Evaluation of Automated Theorem Proving on the Mizar Mathematical Library ⋮ HOL(y)Hammer: online ATP service for HOL Light ⋮ TacticToe: learning to prove with tactics ⋮ Machine learning guidance for connection tableaux ⋮ Sine Qua Non for Large Theory Reasoning ⋮ Learning2Reason ⋮ Automated Proof Compression by Invention of New Definitions ⋮ Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition ⋮ Enhancing ENIGMA given clause guidance ⋮ ATPboost: learning premise selection in binary setting with ATP feedback ⋮ An abstraction-refinement framework for reasoning with large theories ⋮ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) ⋮ Automated verification of refinement laws ⋮ Automated Reasoning Service for HOL Light ⋮ Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness ⋮ Hammering towards QED ⋮ Proof-Pattern Recognition and Lemma Discovery in ACL2 ⋮ Lemma Mining over HOL Light ⋮ Machine learning for first-order theorem proving ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) ⋮ Premise selection for mathematics by corpus analysis and kernel methods
This page was built for software: MaLARea
