15 citations · 29 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Stateful Premise Selection by Recurrent Neural Networks
Bartosz Piotrowski, Josef Urban
In this work, we develop a new learning-based method for selecting facts (premises) when proving new goals over large formal libraries. Unlike previous methods that choose sets of…
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…