Learning domain knowledge to improve theorem proving

DOI10.1007/3-540-61511-3_69zbMath1412.68217OpenAlexW1881432009MaRDI QIDQ4647500

Stephan Schulz, Jörg Denzinger

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_69

zbMATH Keywords

proof systemlearning strategycritical pairlearning teamreproductive mode

Mathematics Subject Classification ID

Related Items (5)

Vampire with a brain is a good ITP hammer ⋮ Proving theorems by reuse ⋮ Improving ENIGMA-style clause selection while learning from history ⋮ Proofs as schemas and their heuristic use ⋮ Automatic acquisition of search control knowledge from multiple proof attempts.

Uses Software

• TPTP
• DISCOUNT

Cites Work

• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Experiments in the heuristic use of past proof experience
• Distributing equational theorem proving
• The TPTP problem library
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Learning domain knowledge to improve theorem proving