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