Learning to Guide a Saturation-Based Theorem Prover

Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni +8

Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the…