A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

10 July 2018

Min Wu

Papers citing "A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees"

26 / 26 papers shown

Title
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 37 8 0 20 Sep 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 27 6 0 20 Jul 2023
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 45 83 0 19 May 2023
Reachability Analysis of Neural Network Control Systems Chi Zhang W. Ruan Peipei Xu 29 13 0 28 Jan 2023
Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Gaojie Jin Q. Ni 42 5 0 22 Dec 2022
Robust Explanation Constraints for Neural Networks Matthew Wicker Juyeon Heo Luca Costabello Adrian Weller FAtt 29 18 0 16 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 42 11 0 02 Dec 2022
Interpretation of Black Box NLP Models: A Survey Shivani Choudhary N. Chatterjee S. K. Saha FAtt 34 10 0 31 Mar 2022
Sparse Adversarial Video Attacks with Spatial Transformations Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Q. Ni AAML 30 18 0 10 Nov 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 37 66 0 26 Jul 2021
The Feasibility and Inevitability of Stealth Attacks I. Tyukin D. Higham Alexander Bastounis Eliyas Woldegeorgis Alexander N. Gorban AAML 22 19 0 26 Jun 2021
The Care Label Concept: A Certification Suite for Trustworthy and Resource-Aware Machine Learning K. Morik Helena Kotthaus Lukas Heppe Danny Heinrich Raphael Fischer Andrea Pauly Nico Piatkowski 23 4 0 01 Jun 2021
The Vulnerability of Semantic Segmentation Networks to Adversarial Attacks in Autonomous Driving: Enhancing Extensive Environment Sensing Andreas Bär Jonas Löhdefink Nikhil Kapoor Serin Varghese Fabian Hüger Peter Schlicht Tim Fingscheidt AAML 108 33 0 11 Jan 2021
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks Dario Guidotti Luca Pulina A. Tacchella 3DV 17 3 0 18 Nov 2020
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 27 73 0 07 Aug 2020
Global Robustness Verification Networks Weidi Sun Yuteng Lu Xiyue Zhang Zhanxing Zhu Meng Sun AAML 13 2 0 08 Jun 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 20 127 0 12 Apr 2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks Xingyu Zhao Alec Banks James Sharp Valentin Robu David Flynn Michael Fisher Xiaowei Huang AAML 50 48 0 07 Mar 2020
Robustness Guarantees for Deep Neural Networks on Videos Min Wu Marta Z. Kwiatkowska AAML 19 22 0 28 Jun 2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks L. Cardelli Marta Kwiatkowska Luca Laurenti Nicola Paoletti A. Patané Matthew Wicker AAML 31 54 0 05 Mar 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 24 80 0 26 Feb 2019
Evading classifiers in discrete domains with provable optimality guarantees B. Kulynych Jamie Hayes N. Samarin Carmela Troncoso AAML 21 19 0 25 Oct 2018
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening 17 333 0 30 Apr 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 47 87 0 02 Oct 2017
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,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016