Scalable Certified Segmentation via Randomized Smoothing

Scalable Certified Segmentation via Randomized Smoothing

1 July 2021

Maximilian Baader

Martin Vechev

Papers citing "Scalable Certified Segmentation via Randomized Smoothing"

12 / 12 papers shown

Title
Certifying LLM Safety against Adversarial Prompting Aounon Kumar Chirag Agarwal Suraj Srinivas Aaron Jiaxun Li S. Feizi Himabindu Lakkaraju AAML 27 169 0 06 Sep 2023
Incremental Randomized Smoothing Certification Shubham Ugare Tarun Suresh Debangshu Banerjee Gagandeep Singh Sasa Misailovic AAML 40 8 0 31 May 2023
Confidence-aware Training of Smoothed Classifiers for Certified Robustness Jongheon Jeong Seojin Kim Jinwoo Shin AAML 23 7 0 18 Dec 2022
Invariance-Aware Randomized Smoothing Certificates Jan Schuchardt Stephan Günnemann AAML 30 5 0 25 Nov 2022
Private and Reliable Neural Network Inference Nikola Jovanović Marc Fischer Samuel Steffen Martin Vechev 27 14 0 27 Oct 2022
Towards Evading the Limits of Randomized Smoothing: A Theoretical Analysis Raphael Ettedgui Alexandre Araujo Rafael Pinot Y. Chevaleyre Jamal Atif AAML 34 3 0 03 Jun 2022
(De-)Randomized Smoothing for Decision Stump Ensembles Miklós Z. Horváth Mark Niklas Muller Marc Fischer Martin Vechev 30 3 0 27 May 2022
Adversarial Examples on Segmentation Models Can be Easy to Transfer Jindong Gu Hengshuang Zhao Volker Tresp Philip Torr AAML 41 14 0 22 Nov 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo Li AAML 38 128 0 09 Sep 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation C. Qi Hao Su Kaichun Mo Leonidas J. Guibas 3DH 3DPC 3DV PINN 222 14,136 0 02 Dec 2016
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 309 3,115 0 04 Nov 2016