research
∙
04/03/2023
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Stabilizer simulation can efficiently simulate an important class of qua...
share
research
∙
12/09/2021
The Fundamental Limits of Interval Arithmetic for Neural Networks
Interval analysis (or interval bound propagation, IBP) is a popular tech...
research
∙
11/26/2021
Latent Space Smoothing for Individually Fair Representations
Fair representation learning encodes user data to ensure fairness and ut...
research
∙
07/01/2021
Scalable Certified Segmentation via Randomized Smoothing
We present a new certification method for image and point cloud segmenta...
research
∙
02/12/2021
Certified Defenses: Why Tighter Relaxations May Hurt Training?
Certified defenses based on convex relaxations are an established techni...
research
∙
09/19/2020
Efficient Certification of Spatial Robustness
Recent work has exposed the vulnerability of computer vision models to s...
research
∙
02/27/2020
Certification of Semantic Perturbations via Randomized Smoothing
We introduce a novel certification method for parametrized perturbations...
research
∙
09/30/2019