research
∙
10/30/2022
FI-ODE: Certified and Robust Forward Invariance in Neural ODEs
We study how to certifiably enforce forward invariance properties in neu...
share
research
∙
05/16/2022
Diffusion Models for Adversarial Purification
Adversarial purification refers to a class of defense methods that remov...
research
∙
11/02/2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds
Certified robustness is a desirable property for deep neural networks in...
research
∙
07/17/2020
Neural Networks with Recurrent Generative Feedback
Neural networks are vulnerable to input perturbations such as additive n...
research
∙
07/10/2019
Out-of-Distribution Detection Using Neural Rendering Generative Models
Out-of-distribution (OoD) detection is a natural downstream task for dee...
research
∙
03/31/2017
Semantic-driven Generation of Hyperlapse from 360^∘ Video
We present a system for converting a fully panoramic (360^∘) video into ...
research
∙
01/26/2017