571 citations · 817 across the 9 of their papers we have counts for
Showing cs.AIShow all
3 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.…
cs.AI2018★ 27 cited
At Human Speed: Deep Reinforcement Learning with Action Delay
Vlad Firoiu, Tina Ju, Josh Tenenbaum
There has been a recent explosion in the capabilities of game-playing artificial intelligence. Many classes of tasks, from video games to motor control to board games, are now solv…