research
∙
09/28/2022
Improving alignment of dialogue agents via targeted human judgements
We present Sparrow, an information-seeking dialogue agent trained to be ...
share
research
∙
12/20/2021
Proving Theorems using Incremental Learning and Hindsight Experience Replay
Traditional automated theorem provers for first-order logic depend on sp...
research
∙
03/05/2021
Training a First-Order Theorem Prover from Synthetic Data
A major challenge in applying machine learning to automated theorem prov...
research
∙
06/19/2020
Learning to Prove from Synthetic Theorems
A major challenge in applying machine learning to automated theorem prov...
research
∙
09/27/2019
Automated curricula through setter-solver interactions
Reinforcement learning algorithms use correlations between policies and ...
research
∙
10/16/2018
At Human Speed: Deep Reinforcement Learning with Action Delay
There has been a recent explosion in the capabilities of game-playing ar...
research
∙
02/05/2018
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 ...
research
∙
02/21/2017
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...
research
∙
05/31/2015