Neural Network Robustness as a Verification Property: A Principled Case Study

3 April 2021

Marco Casadio

Ekaterina Komendantskaya

Papers citing "Neural Network Robustness as a Verification Property: A Principled Case Study"

30 / 30 papers shown

Title
A Generalised Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 64 1 0 01 May 2025
Neural Network Verification for Gliding Drone Control: A Case Study Colin Kessler Ekaterina Komendantskaya Marco Casadio Ignazio Maria Viola Thomas Flinkow Albaraa Ammar Othman Alistair Malhotra Robbie McPherson 57 1 0 01 May 2025
Proof-Carrying Neuro-Symbolic Code Ekaterina Komendantskaya NAI 29 0 0 16 Apr 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 82 6 0 17 Feb 2025
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Syed Ali Asadullah Bukhari Thomas Flinkow M. Inkarbekov Barak A. Pearlmutter Rosemary Monahan 77 0 0 21 Nov 2024
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation Guy Amir Shahaf Bassan Guy Katz 44 2 0 07 Aug 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Kerianne Hobbs Milan Ganai Tobey Shim Guy Katz Clark Barrett 45 2 0 09 Jul 2024
Verification-Guided Shielding for Deep Reinforcement Learning Davide Corsi Guy Amir Andoni Rodríguez César Sánchez Guy Katz Roy Fox AAML OffRL 37 9 0 10 Jun 2024
Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan Guy Amir Guy Katz 47 6 0 05 Jun 2024
A Neurosymbolic Framework for Bias Correction in CNNs Parth Padalkar Natalia Slusarz Ekaterina Komendantskaya Gopal Gupta 43 0 0 24 May 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Michael Durling Milan Ganai Tobey Shim Guy Katz Clark W. Barrett 47 7 0 22 May 2024
Monitizer: Automating Design and Evaluation of Neural Network Monitors Muqsit Azeem Marta Grobelna Sudeep Kanav Jan Křetínský Stefanie Mohr Sabine Rieder 39 2 0 16 May 2024
Robustness Verifcation in Neural Networks Adrian Wurm 21 0 0 20 Mar 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning Davide Corsi Guy Amir Guy Katz Alessandro Farinelli AAML 41 7 0 07 Feb 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs M. Daggitt Wen Kokke R. Atkey Natalia Slusarz Luca Arnaboldi Ekaterina Komendantskaya NAI 38 10 0 12 Jan 2024
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y. Elboher R. Elsaleh Omri Isac Mélanie Ducoffe Audrey Galametz Guillaume Povéda Ryma Boumazouza Noémie Cohen Guy Katz AAML 40 4 0 08 Jan 2024
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 36 15 0 31 Jul 2023
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification Marco Casadio Luca Arnaboldi M. Daggitt Omri Isac Tanvi Dinkar Daniel Kienitz Verena Rieser Ekaterina Komendantskaya 33 4 0 06 May 2023
Repairing Deep Neural Networks Based on Behavior Imitation Zhen Liang Taoran Wu Changyuan Zhao Wanwei Liu Bai Xue Wenjing Yang J. Wang AAML 42 5 0 05 May 2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart Kathrin Stark 33 17 0 19 Mar 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 28 14 0 11 Feb 2023
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 44 13 0 06 Dec 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 32 5 0 23 Oct 2022
CheckINN: Wide Range Neural Network Verification in Imandra (Extended) Remi Desmartin Grant Passmore Ekaterina Komendantskaya M. Daggitt 26 5 0 21 Jul 2022
Differentiable Logics for Neural Network Training and Verification Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart 23 2 0 14 Jul 2022
Why Robust Natural Language Understanding is a Challenge Marco Casadio Ekaterina Komendantskaya Verena Rieser M. Daggitt Daniel Kienitz Luca Arnaboldi Wen Kokke OOD AAML 30 0 0 21 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 32 18 0 08 Feb 2022
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
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016