Learning domain knowledge to improve theorem proving
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4001516
- Improving the time efficiency of proving theorems using a learning mechanism
- Learning theorem proving components
- Learning-assisted theorem proving with millions of lemmas
- Mechanizing Mathematical Reasoning
- scientific article; zbMATH DE number 1882060
- Machine Learning for Inductive Theorem Proving
- Towards learning new methods in proof planning
- Automatic Learning of Proof Methods in Proof Planning
Cites work
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Distributing equational theorem proving
- Experiments in the heuristic use of past proof experience
- scientific article; zbMATH DE number 4016226 (Why is no real title available?)
- scientific article; zbMATH DE number 4078851 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- The TPTP problem library
Cited in
(9)- Proofs as schemas and their heuristic use
- Automatic acquisition of search control knowledge from multiple proof attempts.
- Proving theorems by reuse
- Improving ENIGMA-style clause selection while learning from history
- Learning-assisted theorem proving with millions of lemmas
- Context-aware clause selection using symbol name meanings in theorem proving
- How much should this symbol weigh? A GNN-advised clause selection
- Learning guided automated reasoning: a brief survey
- Vampire with a brain is a good ITP hammer
This page was built for publication: Learning domain knowledge to improve theorem proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647500)
