-
Learning to Prove from Synthetic Theorems
A major challenge in applying machine learning to automated theorem prov...
read it
-
Automated curricula through setter-solver interactions
Reinforcement learning algorithms use correlations between policies and ...
read it
-
At Human Speed: Deep Reinforcement Learning with Action Delay
There has been a recent explosion in the capabilities of game-playing ar...
read it
-
IMPALA: Scalable Distributed Deep-RL with Importance Weighted Actor-Learner Architectures
In this work we aim to solve a large collection of tasks using a single ...
read it
-
Beating the World's Best at Super Smash Bros. with Deep Reinforcement Learning
There has been a recent explosion in the capabilities of game-playing ar...
read it
-
Automatic Inference for Inverting Software Simulators via Probabilistic Programming
Models of complex systems are often formalized as sequential software si...
read it

Vlad Firoiu
is this you? claim profile