Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Vlad Firoiu

Training a First-Order Theorem Prover from Synthetic Data

Mar 05, 2021
Vlad Firoiu, Eser Aygun, Ankit Anand, Zafarali Ahmed, Xavier Glorot, Laurent Orseau, Lei Zhang, Doina Precup, Shibl Mourad

  Access Paper or Ask Questions

Learning to Prove from Synthetic Theorems

Jun 19, 2020
Eser Aygün, Zafarali Ahmed, Ankit Anand, Vlad Firoiu, Xavier Glorot, Laurent Orseau, Doina Precup, Shibl Mourad

* 17 pages, 6 figures, submitted to NeurIPS 2020 

  Access Paper or Ask Questions

Automated curricula through setter-solver interactions

Sep 27, 2019
Sebastien Racaniere, Andrew K. Lampinen, Adam Santoro, David P. Reichert, Vlad Firoiu, Timothy P. Lillicrap

  Access Paper or Ask Questions

At Human Speed: Deep Reinforcement Learning with Action Delay

Oct 16, 2018
Vlad Firoiu, Tina Ju, Josh Tenenbaum

  Access Paper or Ask Questions

IMPALA: Scalable Distributed Deep-RL with Importance Weighted Actor-Learner Architectures

Jun 28, 2018
Lasse Espeholt, Hubert Soyer, Remi Munos, Karen Simonyan, Volodymir Mnih, Tom Ward, Yotam Doron, Vlad Firoiu, Tim Harley, Iain Dunning, Shane Legg, Koray Kavukcuoglu

  Access Paper or Ask Questions

Beating the World's Best at Super Smash Bros. with Deep Reinforcement Learning

May 08, 2017
Vlad Firoiu, William F. Whitney, Joshua B. Tenenbaum

  Access Paper or Ask Questions

Automatic Inference for Inverting Software Simulators via Probabilistic Programming

May 31, 2015
Ardavan Saeedi, Vlad Firoiu, Vikash Mansinghka

* ICML 2014 AutoML Workshop 

  Access Paper or Ask Questions