research
∙
02/25/2019
Verification of Non-Linear Specifications for Neural Networks
Prior work on neural network verification has focused on specifications ...
share
research
∙
02/06/2019
Distilling Policy Distillation
The transfer of knowledge from one policy to another is an important too...
research
∙
11/22/2018
Strength in Numbers: Trading-off Robustness and Computation via Adversarially-Trained Ensembles
While deep learning has led to remarkable results on a number of challen...
research
∙
03/01/2017
Understanding Synthetic Gradients and Decoupled Neural Interfaces
When training neural networks, the use of Synthetic Gradients (SG) allow...
research
∙
11/19/2016
