Proving Theorems using Incremental Learning and Hindsight Experience Replay

Eser Aygün, Laurent Orseau, Ankit Anand +5

Traditional automated theorem provers for first-order logic depend on speed-optimized search and many handcrafted heuristics that are designed to work best over a wide range of dom…