2022
Proving Theorems using Incremental Learning and Hindsight Experience Replay
ICML 2022spotlight
Traditional automated theorem proving systems for first-order logic depend on speed-optimized search and many handcrafted heuristics designed to work over a wide range of domains. Machine learning approaches in the literature either depend on these traditional provers to bootstrap themselves, by lev…