v1v2 (latest)

Auditing AI models for Verified Deployment under Semantic Specifications

25 September 2021

Homanga Bharadhwaj

De-An Huang

Papers citing "Auditing AI models for Verified Deployment under Semantic Specifications"

50 / 58 papers shown

Title
Paint by Word A. Andonian David Bau Audrey Cui YeonHwan Park Ali Jahanian Antonio Torralba A. Oliva DiffM 67 125 0 19 Mar 2021
Learning Transferable Visual Models From Natural Language Supervision Alec Radford Jong Wook Kim Chris Hallacy Aditya A. Ramesh Gabriel Goh ... Amanda Askell Pamela Mishkin Jack Clark Gretchen Krueger Ilya Sutskever CLIP VLM 929 29,436 0 26 Feb 2021
Efficient Certification of Spatial Robustness Anian Ruoss Maximilian Baader Mislav Balunović Martin Vechev AAML 56 26 0 19 Sep 2020
Understanding the Role of Individual Units in a Deep Neural Network David Bau Jun-Yan Zhu Hendrik Strobelt Àgata Lapedriza Bolei Zhou Antonio Torralba GAN 69 451 0 10 Sep 2020
Learning perturbation sets for robust machine learning Eric Wong J. Zico Kolter OOD 54 81 0 16 Jul 2020
Closed-Form Factorization of Latent Semantics in GANs Yujun Shen Bolei Zhou GAN 109 591 0 13 Jul 2020
Smooth Adversarial Training Cihang Xie Mingxing Tan Boqing Gong Alan Yuille Quoc V. Le OOD 80 153 0 25 Jun 2020
Language Models are Few-Shot Learners Tom B. Brown Benjamin Mann Nick Ryder Melanie Subbiah Jared Kaplan ... Christopher Berner Sam McCandlish Alec Radford Ilya Sutskever Dario Amodei BDL 795 42,055 0 28 May 2020
InterFaceGAN: Interpreting the Disentangled Face Representation Learned by GANs Yujun Shen Ceyuan Yang Xiaoou Tang Bolei Zhou GAN CVBM 65 599 0 18 May 2020
Semantic Photo Manipulation with a Generative Image Prior David Bau Hendrik Strobelt William S. Peebles Jonas Wulff Bolei Zhou Jun-Yan Zhu Antonio Torralba GAN 87 353 0 15 May 2020
In-Domain GAN Inversion for Real Image Editing Jiapeng Zhu Yujun Shen Deli Zhao Bolei Zhou DiffM 75 641 0 31 Mar 2020
Spatially-Aware Graph Neural Networks for Relational Behavior Forecasting from Sensor Data Sergio Casas Cole Gulino Renjie Liao R. Urtasun AI4CE 227 212 0 18 Oct 2019
On Completeness-aware Concept-Based Explanations in Deep Neural Networks Chih-Kuan Yeh Been Kim Sercan O. Arik Chun-Liang Li Tomas Pfister Pradeep Ravikumar FAtt 228 305 0 17 Oct 2019
Certified Robustness to Adversarial Word Substitutions Robin Jia Aditi Raghunathan Kerem Göksel Percy Liang AAML 337 294 0 03 Sep 2019
Large Scale Adversarial Representation Learning Jeff Donahue Karen Simonyan SSL 130 543 0 04 Jul 2019
Towards Stable and Efficient Training of Verifiably Robust Neural Networks Huan Zhang Hongge Chen Chaowei Xiao Sven Gowal Robert Stanforth Yue Liu Duane S. Boning Cho-Jui Hsieh AAML 78 348 0 14 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 94 400 0 15 Mar 2019
On Evaluating Adversarial Robustness Nicholas Carlini Anish Athalye Nicolas Papernot Wieland Brendel Jonas Rauber Dimitris Tsipras Ian Goodfellow Aleksander Madry Alexey Kurakin ELM AAML 89 901 0 18 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 152 2,039 0 08 Feb 2019
CheXpert: A Large Chest Radiograph Dataset with Uncertainty Labels and Expert Comparison Jeremy Irvin Pranav Rajpurkar M. Ko Yifan Yu Silviana Ciurea-Ilcus ... D. Larson C. Langlotz Bhavik Patel M. Lungren A. Ng 112 2,595 0 21 Jan 2019
The Limitations of Adversarial Training and the Blind-Spot Attack Huan Zhang Hongge Chen Zhao Song Duane S. Boning Inderjit S. Dhillon Cho-Jui Hsieh AAML 60 145 0 15 Jan 2019
A Style-Based Generator Architecture for Generative Adversarial Networks Tero Karras S. Laine Timo Aila 583 10,561 0 12 Dec 2018
Towards a Definition of Disentangled Representations I. Higgins David Amos David Pfau S. Racanière Loic Matthey Danilo Jimenez Rezende Alexander Lerchner OCL DRL 103 480 0 05 Dec 2018
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 100 439 0 02 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 91 761 0 02 Nov 2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin J. Uesato Relja Arandjelović Timothy A. Mann Pushmeet Kohli AAML 82 557 0 30 Oct 2018
Characterizing Adversarial Examples Based on Spatial Consistency Information for Semantic Segmentation Chaowei Xiao Ruizhi Deng Yue Liu Feng Yu M. Liu Basel Alomair AAML 45 99 0 11 Oct 2018
Model Cards for Model Reporting Margaret Mitchell Simone Wu Andrew Zaldivar Parker Barnes Lucy Vasserman Ben Hutchinson Elena Spitzer Inioluwa Deborah Raji Timnit Gebru 127 1,895 0 05 Oct 2018
Large Scale GAN Training for High Fidelity Natural Image Synthesis Andrew Brock Jeff Donahue Karen Simonyan 262 5,394 0 28 Sep 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 68 404 0 19 Sep 2018
Structured Adversarial Attack: Towards General Implementation and Better Interpretability Kaidi Xu Sijia Liu Pu Zhao Pin-Yu Chen Huan Zhang Quanfu Fan Deniz Erdogmus Yanzhi Wang Xinyu Lin AAML 111 161 0 05 Aug 2018
Learning to Drive in a Day Alex Kendall Jeffrey Hawke David Janz Przemyslaw Mazur Daniele Reda John M. Allen Vinh-Dieu Lam Alex Bewley Amar Shah 98 657 0 01 Jul 2018
Defense-GAN: Protecting Classifiers Against Adversarial Attacks Using Generative Models Pouya Samangouei Maya Kabkab Rama Chellappa AAML GAN 84 1,178 0 17 May 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 108 695 0 25 Apr 2018
Datasheets for Datasets Timnit Gebru Jamie Morgenstern Briana Vecchione Jennifer Wortman Vaughan Hanna M. Wallach Hal Daumé Kate Crawford 264 2,184 0 23 Mar 2018
Adversarial Metric Learning Shuo Chen Chen Gong Jian Yang Xiang Li Yang Wei Jun Yu Li 64 46 0 09 Feb 2018
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples Anish Athalye Nicholas Carlini D. Wagner AAML 224 3,186 0 01 Feb 2018
Certified Defenses against Adversarial Examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 111 968 0 29 Jan 2018
Characterizing Adversarial Subspaces Using Local Intrinsic Dimensionality Xingjun Ma Yue Liu Yisen Wang S. Erfani S. Wijewickrema Grant Schoenebeck Basel Alomair Michael E. Houle James Bailey AAML 111 739 0 08 Jan 2018
Spatially Transformed Adversarial Examples Chaowei Xiao Jun-Yan Zhu Yue Liu Warren He M. Liu Basel Alomair AAML 76 523 0 08 Jan 2018
Generating Adversarial Examples with Adversarial Networks Chaowei Xiao Yue Liu Jun-Yan Zhu Warren He M. Liu Basel Alomair GAN AAML 115 899 0 08 Jan 2018
CheXNet: Radiologist-Level Pneumonia Detection on Chest X-Rays with Deep Learning Pranav Rajpurkar Jeremy Irvin Kaylie Zhu Brandon Yang Hershel Mehta ... Aarti Bagul C. Langlotz K. Shpanskaya M. Lungren A. Ng LM&MA 78 2,703 0 14 Nov 2017
Countering Adversarial Images using Input Transformations Chuan Guo Mayank Rana Moustapha Cissé Laurens van der Maaten AAML 116 1,405 0 31 Oct 2017
Generating Natural Adversarial Examples Zhengli Zhao Dheeru Dua Sameer Singh GAN AAML 169 601 0 31 Oct 2017
PixelDefend: Leveraging Generative Models to Understand and Defend against Adversarial Examples Yang Song Taesup Kim Sebastian Nowozin Stefano Ermon Nate Kushman AAML 110 790 0 30 Oct 2017
Progressive Growing of GANs for Improved Quality, Stability, and Variation Tero Karras Timo Aila S. Laine J. Lehtinen GAN 137 7,361 0 27 Oct 2017
Distance-based Confidence Score for Neural Network Classifiers Amit Mandelbaum D. Weinshall UQCV 57 113 0 28 Sep 2017
Towards Deep Learning Models Resistant to Adversarial Attacks Aleksander Madry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu SILM OOD 307 12,069 0 19 Jun 2017
Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods Nicholas Carlini D. Wagner AAML 126 1,857 0 20 May 2017
ChestX-ray8: Hospital-scale Chest X-ray Database and Benchmarks on Weakly-Supervised Classification and Localization of Common Thorax Diseases Xiaosong Wang Yifan Peng Le Lu Zhiyong Lu M. Bagheri Ronald M. Summers LM&MA 166 2,530 0 05 May 2017