3 citations · 6 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)
Jan Jakubův, Karel Chvalovský, Miroslav Olšák +3
We describe an implementation of gradient boosting and neural guidance of saturation-style automated theorem provers that does not depend on consistent symbol names across problems…
cs.LO2020
Layered Clause Selection for Theory Reasoning
Bernhard Gleiss, Martin Suda
Explicit theory axioms are added by a saturation-based theorem prover as one of the techniques for supporting theory reasoning. While simple and effective, adding theory axioms can…