research
∙
09/06/2023
Certifying LLM Safety against Adversarial Prompting
Large language models (LLMs) released for public use incorporate guardra...
share
research
∙
03/28/2023
Provable Robustness for Streaming Models with a Sliding Window
The literature on provable robustness in machine learning has primarily ...
research
∙
01/28/2022
Certifying Model Accuracy under Distribution Shifts
Certified robustness in machine learning has primarily focused on advers...
research
∙
06/21/2021
Policy Smoothing for Provably Robust Reinforcement Learning
The study of provable adversarial robustness for deep neural network (DN...
research
∙
02/19/2021
Center Smoothing for Certifiably Robust Vector-Valued Functions
Randomized smoothing has been successfully applied in high-dimensional i...
research
∙
10/20/2020
Tight Second-Order Certificates for Randomized Smoothing
Randomized smoothing is a popular way of providing robustness guarantees...
research
∙
09/17/2020
Certifying Confidence via Randomized Smoothing
Randomized smoothing has been shown to provide good certified-robustness...
research
∙
07/07/2020
Detection as Regression: Certified Object Detection by Median Smoothing
Despite the vulnerability of object detectors to adversarial attacks, ve...
research
∙
02/08/2020
Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness
Randomized smoothing, using just a simple isotropic Gaussian distributio...
research
∙
11/26/2018