121 citations · 271 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 7 cited
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…
cs.AI2021★ 4 cited
Training a First-Order Theorem Prover from Synthetic Data
Vlad Firoiu, Eser Aygun, Ankit Anand +6
A major challenge in applying machine learning to automated theorem proving is the scarcity of training data, which is a key ingredient in training successful deep learning models.…