Learning domain knowledge to improve theorem proving
From MaRDI portal
Publication:4647500
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
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
Cites Work
This page was built for publication: Learning domain knowledge to improve theorem proving