Verification-Aided Deep Ensemble Selection

8 February 2022

Papers citing "Verification-Aided Deep Ensemble Selection"

50 / 72 papers shown

Title
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 63 20 0 20 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 69 20 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 106 37 0 26 May 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 86 31 0 19 Mar 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 79 26 0 06 Jan 2022
Diversity Matters When Learning From Ensembles G. Nam Jongmin Yoon Yoonho Lee Juho Lee UQCV FedML VLM 87 36 0 27 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 59 15 0 18 Oct 2021
Neural Network Repair with Reachability Analysis Xiaodong Yang Tomochika Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov AAML 39 29 0 09 Aug 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 56 21 0 28 May 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 58 47 0 25 May 2021
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 53 40 0 03 Apr 2021
NNrepair: Constraint-based Repair of Neural Network Classifiers Muhammad Usman D. Gopinath Youcheng Sun Yannic Noller C. Păsăreanu 29 38 0 23 Mar 2021
Connecting Interpretability and Robustness in Decision Trees through Separation Michal Moshkovitz Yao-Yuan Yang Kamalika Chaudhuri 39 22 0 14 Feb 2021
Towards Repairing Neural Networks Correctly Guoliang Dong Jun Sun Jingyi Wang Xinyu Wang Ting Dai 39 23 0 03 Dec 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 43 58 0 05 Nov 2020
Into the Unknown: Active Monitoring of Neural Networks Anna Lukina Christian Schilling T. Henzinger AAML 61 27 0 14 Sep 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 60 63 0 18 Jul 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 30 50 0 24 Jun 2020
Towards More Practical Adversarial Attacks on Graph Neural Networks Jiaqi Ma Shuangrui Ding Qiaozhu Mei AAML 60 121 0 09 Jun 2020
Formal Methods with a Touch of Magic P. A. Alamdari Guy Avni T. Henzinger Anna Lukina OffRL 45 16 0 25 May 2020
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 51 59 0 17 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 27 45 0 06 Apr 2020
Fast is better than free: Revisiting adversarial training Eric Wong Leslie Rice J. Zico Kolter AAML OOD 138 1,178 0 12 Jan 2020
Deep Ensembles: A Loss Landscape Perspective Stanislav Fort Huiyi Hu Balaji Lakshminarayanan OOD UQCV 121 628 0 05 Dec 2019
Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban M. Christakis Valentin Wüstholz Fuyuan Zhang 77 69 0 05 Dec 2019
Fastened CROWN: Tightened Neural Network Robustness Certificates Zhaoyang Lyu Ching-Yun Ko Zhifeng Kong Ngai Wong Dahua Lin Luca Daniel 132 67 0 02 Dec 2019
Adversarial Robustness through Local Linearization Chongli Qin James Martens Sven Gowal Dilip Krishnan Krishnamurthy Dvijotham Alhussein Fawzi Soham De Robert Stanforth Pushmeet Kohli AAML 67 308 0 04 Jul 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 59 105 0 25 Jun 2019
Maximizing Overall Diversity for Improved Uncertainty Estimates in Deep Ensembles Siddhartha Jain Ge Liu Jonas W. Mueller David K Gifford UQCV 59 60 0 18 Jun 2019
Adversarially robust transfer learning Ali Shafahi Parsa Saadatpanah Chen Zhu Amin Ghiasi Christoph Studer David Jacobs Tom Goldstein OOD 44 116 0 20 May 2019
Adversarial Training for Free! Ali Shafahi Mahyar Najibi Amin Ghiasi Zheng Xu John P. Dickerson Christoph Studer L. Davis Gavin Taylor Tom Goldstein AAML 130 1,247 0 29 Apr 2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson Shankara Pailoor Işıl Dillig Swarat Chaudhuri AAML 73 101 0 22 Apr 2019
Deep Neural Network Ensembles S. Tao OOD FaML UQCV 119 37 0 11 Apr 2019
Adversarial Attacks on Deep Neural Networks for Time Series Classification Hassan Ismail Fawaz Germain Forestier J. Weber L. Idoumghar Pierre-Alain Muller AAML 53 135 0 17 Mar 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 147 2,039 0 08 Feb 2019
Theoretically Principled Trade-off between Robustness and Accuracy Hongyang R. Zhang Yaodong Yu Jiantao Jiao Eric Xing L. Ghaoui Michael I. Jordan 134 2,551 0 24 Jan 2019
How does Disagreement Help Generalization against Label Corruption? Xingrui Yu Bo Han Jiangchao Yao Gang Niu Ivor W. Tsang Masashi Sugiyama NoLa 65 783 0 14 Jan 2019
Formal Verification of Neural Network Controlled Autonomous Systems Xiaowu Sun Haitham Khedr Yasser Shoukry 71 138 0 31 Oct 2018
Deep Randomized Ensembles for Metric Learning Hong Xuan Richard Souvenir Robert Pless UQCV OOD 72 102 0 13 Aug 2018
Ensemble Pruning based on Objection Maximization with a General Distributed Framework Yijun Bian Yijun Wang Yaqiang Yao Huanhuan Chen 39 40 0 13 Jun 2018
Robustness May Be at Odds with Accuracy Dimitris Tsipras Shibani Santurkar Logan Engstrom Alexander Turner Aleksander Madry AAML 102 1,778 0 30 May 2018
Adversarial Attacks on Neural Networks for Graph Data Daniel Zügner Amir Akbarnejad Stephan Günnemann GNN AAML OOD 159 1,069 0 21 May 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 74 271 0 06 May 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 Apr 2018
Co-teaching: Robust Training of Deep Neural Networks with Extremely Noisy Labels Bo Han Quanming Yao Xingrui Yu Gang Niu Miao Xu Weihua Hu Ivor Tsang Masashi Sugiyama NoLa 110 2,069 0 18 Apr 2018
Diversity regularization in deep ensembles Changjian Shui A. Mozafari Jonathan Marek Ihsen Hedhli Christian Gagné UQCV 54 13 0 22 Feb 2018
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 102 87 0 02 Oct 2017
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 64 217 0 19 Sep 2017
Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms Han Xiao Kashif Rasul Roland Vollgraf 283 8,883 0 25 Aug 2017
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 108 294 0 09 Aug 2017