Training verified learners with learned verifiers

25 May 2018

Krishnamurthy Dvijotham

Papers citing "Training verified learners with learned verifiers"

45 / 45 papers shown

Title
CERT-ED: Certifiably Robust Text Classification for Edit Distance Zhuoqun Huang Yipeng Wang Seunghee Shin Benjamin I. P. Rubinstein AAML 58 1 0 01 Aug 2024
Certifying LLM Safety against Adversarial Prompting Aounon Kumar Chirag Agarwal Suraj Srinivas Aaron Jiaxun Li S. Feizi Himabindu Lakkaraju AAML 27 167 0 06 Sep 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 96 33 0 29 Apr 2023
Provable Robustness for Streaming Models with a Sliding Window Aounon Kumar Vinu Sankar Sadasivan S. Feizi OOD AAML AI4TS 21 1 0 28 Mar 2023
Optimization and Optimizers for Adversarial Robustness Hengyue Liang Buyun Liang Le Peng Ying Cui Tim Mitchell Ju Sun AAML 28 5 0 23 Mar 2023
Tight Mixed-Integer Optimization Formulations for Prescriptive Trees Max Biggs Georgia Perakis 11 1 0 28 Feb 2023
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion Zhuoqun Huang Neil G. Marchant Keane Lucas Lujo Bauer O. Ohrimenko Benjamin I. P. Rubinstein AAML 32 15 0 31 Jan 2023
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 40 1 0 18 Aug 2022
Rethinking Textual Adversarial Defense for Pre-trained Language Models Jiayi Wang Rongzhou Bao ZhuoSheng Zhang Hai Zhao AAML SILM 28 11 0 21 Jul 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 48 17 0 29 Jun 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 15 0 06 Mar 2022
Robust Probabilistic Time Series Forecasting Taeho Yoon Youngsuk Park Ernest K. Ryu Yuyang Wang AAML AI4TS 25 18 0 24 Feb 2022
Adversarial GLUE: A Multi-Task Benchmark for Robustness Evaluation of Language Models Wei Ping Chejian Xu Shuohang Wang Zhe Gan Yu Cheng Jianfeng Gao Ahmed Hassan Awadallah Yangqiu Song VLM ELM AAML 33 216 0 04 Nov 2021
Learning to Give Checkable Answers with Prover-Verifier Games Cem Anil Guodong Zhang Yuhuai Wu Roger C. Grosse 27 15 0 27 Aug 2021
Neural Network Branch-and-Bound for Neural Network Verification Florian Jaeckle Jingyue Lu M. P. Kumar 18 8 0 27 Jul 2021
Policy Smoothing for Provably Robust Reinforcement Learning Aounon Kumar Alexander Levine S. Feizi AAML 20 56 0 21 Jun 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 26 31 0 09 Jun 2021
On Fast Adversarial Robustness Adaptation in Model-Agnostic Meta-Learning Ren Wang Kaidi Xu Sijia Liu Pin-Yu Chen Tsui-Wei Weng Chuang Gan Meng Wang AAML 21 47 0 20 Feb 2021
Fast Training of Provably Robust Neural Networks by SingleProp Akhilan Boopathy Tsui-Wei Weng Sijia Liu Pin-Yu Chen Gaoyuan Zhang Luca Daniel AAML 11 7 0 01 Feb 2021
Almost Tight L0-norm Certified Robustness of Top-k Predictions against Adversarial Perturbations Jinyuan Jia Binghui Wang Xiaoyu Cao Hongbin Liu Neil Zhenqiang Gong 21 24 0 15 Nov 2020
InfoBERT: Improving Robustness of Language Models from An Information Theoretic Perspective Wei Ping Shuohang Wang Yu Cheng Zhe Gan R. Jia Bo-wen Li Jingjing Liu AAML 46 113 0 05 Oct 2020
Certifying Confidence via Randomized Smoothing Aounon Kumar Alexander Levine S. Feizi Tom Goldstein UQCV 36 39 0 17 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Defense against Adversarial Attacks in NLP via Dirichlet Neighborhood Ensemble Yi Zhou Xiaoqing Zheng Cho-Jui Hsieh Kai-Wei Chang Xuanjing Huang SILM 39 48 0 20 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 25 10 0 16 Jun 2020
SAFER: A Structure-free Approach for Certified Robustness to Adversarial Word Substitutions Mao Ye Chengyue Gong Qiang Liu AAML 18 96 0 29 May 2020
Robustness Certification of Generative Models M. Mirman Timon Gehr Martin Vechev AAML 43 22 0 30 Apr 2020
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning Michael Everett Bjorn Lutjens Jonathan P. How AAML 15 41 0 11 Apr 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 33 9 0 31 Oct 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 27 28 0 17 Jul 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers Hadi Salman Greg Yang Jungshian Li Pengchuan Zhang Huan Zhang Ilya P. Razenshteyn Sébastien Bubeck AAML 45 536 0 09 Jun 2019
Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks Maksym Andriushchenko Matthias Hein 28 61 0 08 Jun 2019
ML-LOO: Detecting Adversarial Examples with Feature Attribution Puyudi Yang Jianbo Chen Cho-Jui Hsieh Jane-ling Wang Michael I. Jordan AAML 22 101 0 08 Jun 2019
On Training Robust PDF Malware Classifiers Yizheng Chen Shiqi Wang Dongdong She Suman Jana AAML 50 68 0 06 Apr 2019
Verification of Non-Linear Specifications for Neural Networks Chongli Qin Krishnamurthy Dvijotham Dvijotham Brendan O'Donoghue Rudy Bunel Robert Stanforth Sven Gowal J. Uesato G. Swirszcz Pushmeet Kohli AAML 14 43 0 25 Feb 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 26 263 0 23 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 22 1,995 0 08 Feb 2019
On the Security of Randomized Defenses Against Adversarial Samples K. Sharad G. Marson H. Truong Ghassan O. Karame AAML 29 1 0 11 Dec 2018
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 21 251 0 20 Nov 2018
Scalable agent alignment via reward modeling: a research direction Jan Leike David M. Krueger Tom Everitt Miljan Martic Vishal Maini Shane Legg 34 397 0 19 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 24 23 0 06 Nov 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah A. Madry AAML OOD 12 199 0 09 Sep 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 326 5,847 0 08 Jul 2016