v1v2 (latest)

Verifying Recurrent Neural Networks using Invariant Inference

6 April 2020

Papers citing "Verifying Recurrent Neural Networks using Invariant Inference"

28 / 28 papers shown

Title
LTL Verification of Memoryful Neural Agents Mehran Hosseini A. Lomuscio Nicola Paoletti LLMAG 85 0 0 04 Mar 2025
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation Guy Amir Shahaf Bassan Guy Katz 75 3 0 07 Aug 2024
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach Neelanjana Pal Taylor T. Johnson 52 0 0 16 Nov 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 104 16 0 31 Jul 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 106 2 0 29 May 2023
Model-Agnostic Reachability Analysis on Deep Neural Networks Chi Zhang Wenjie Ruan Fu Lee Wang Peipei Xu Geyong Min Xiaowei Huang 60 3 0 03 Apr 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 81 14 0 11 Feb 2023
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 106 7 0 23 Oct 2022
On Optimizing Back-Substitution Methods for Neural Network Verification Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 94 5 0 16 Aug 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 105 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 162 37 0 26 May 2022
Causality-based Neural Network Repair Bing-Jie Sun Jun Sun Hong Long Pham Jie Shi 69 87 0 20 Apr 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 114 18 0 08 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 101 26 0 06 Jan 2022
Toward the Analysis of Graph Neural Networks Thanh-Dat Nguyen Thanh Le-Cong Thanh-Hung Nguyen X. Le Quyet-Thang Huynh GNN 35 3 0 01 Jan 2022
On Recurrent Neural Networks for learning-based control: recent results and ideas for future developments Fabio Bonassi M. Farina Jing Xie R. Scattolini AI4CE 53 68 0 26 Nov 2021
RoMA: a Method for Neural Network Robustness Measurement and Assessment Natan Levy Guy Katz OOD AAML 70 13 0 21 Oct 2021
Permutation Invariance of Deep Neural Networks with ReLUs Diganta Mukhopadhyay Kumar Madhukar M. Srivas AAML 32 0 0 18 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 80 15 0 18 Oct 2021
Probabilistic Verification of Neural Networks Against Group Fairness Bing-Jie Sun Jun Sun Ting Dai Lijun Zhang AAML 30 25 0 18 Jul 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 82 21 0 28 May 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 74 47 0 25 May 2021
Certified Robustness to Programmable Transformations in LSTMs Yuhao Zhang Aws Albarghouthi Loris Dántoni AAML 79 22 0 15 Feb 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 65 59 0 05 Nov 2020
Property-Directed Verification of Recurrent Neural Networks I. Khmelnitsky Daniel Neider Rajarshi Roy Benoît Barbot B. Bollig Alain Finkel S. Haddad M. Leucker Lina Ye 34 5 0 22 Sep 2020
SOCRATES: Towards a Unified Platform for Neural Network Analysis Long H. Pham Jiaying Li Jun Sun 36 9 0 22 Jul 2020
Scalable Polyhedral Verification of Recurrent Neural Networks Wonryong Ryou Jiayu Chen Mislav Balunović Gagandeep Singh Andrei Dan Martin Vechev 87 31 0 27 May 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 125 127 0 31 Oct 2019