Automatic Learning of Proof Methods in Proof Planning
DOI10.1093/JIGPAL/11.6.647zbMATH Open1042.03012OpenAlexW2063371232WikidataQ62046890 ScholiaQ62046890MaRDI QIDQ4465166FDOQ4465166
Mateja Jamnik, Manfred Kerber, Christoph Benzmüller, Martin Pollet
Publication date: 27 May 2004
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/ff53597bb1a954846c600ba7aef659cf342d69bc
Recommendations
- Towards learning new methods in proof planning
- Proof planning: A practical approach to mechanized reasoning in mathematics
- Automating Inductive Proofs Using Theory Exploration
- Automated constructivization of proofs
- Adaptation of declaratively represented methods in proof planning
- Automated theorem proving methods
- scientific article; zbMATH DE number 2090054
- scientific article; zbMATH DE number 3880144
- Automatic inductive theorem proving using Prolog
automated reasoningautomated theorem provingknowledge acquisitionautomated learningproof planningmathematical reasoning systems
Learning and adaptive systems in artificial intelligence (68T05) Mechanization of proofs and logical operations (03B35)
Cited In (15)
- Mining State-Based Models from Proof Corpora
- Automatic acquisition of search control knowledge from multiple proof attempts.
- Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
- Title not available (Why is that?)
- Improving the time efficiency of proving theorems using a learning mechanism
- Towards learning new methods in proof planning
- Title not available (Why is that?)
- SEPIA: Search for Proofs Using Inferred Automata
- Octopus: combining learning and parallel search
- Title not available (Why is that?)
- Teaching Automated Theorem Proving by Example: PyRes 1.2
- Learning domain knowledge to improve theorem proving
- Mathematical Knowledge Management
- Learning-assisted theorem proving with millions of lemmas
- Learning Strategies for Mechanised Building of Decision Procedures
Uses Software
This page was built for publication: Automatic Learning of Proof Methods in Proof Planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4465166)
