Papers
Learning to Solve SMT Formulas
NIPS 2018
Artificial Argumentation for Humans
IJCAI 2018
Inverse Reward Design
NIPS 2017
The Off-Switch Game
IJCAI 2017
Generalizing GANs: A Turing Perspective
NIPS 2017