Neural Network Repair with Reachability Analysis

Neural Network Repair with Reachability Analysis

9 August 2021

Tomochika Yamaguchi

Hoang-Dung Tran

Taylor T. Johnson

Danil Prokhorov

Papers citing "Neural Network Repair with Reachability Analysis"

14 / 14 papers shown

Title
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 272 0 0 22 Jan 2025
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 55 6 0 12 Apr 2024
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 40 1 0 29 May 2023
Reachability Analysis of Neural Networks with Uncertain Parameters Pierre-Jean Meyer 18 0 0 14 Mar 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 27 1 0 08 Mar 2023
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining Akshay Dhonthi E. M. Hahn Vahid Hashemi AAML 30 2 0 14 Dec 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 30 18 0 08 Feb 2022
Ensuring DNN Solution Feasibility for Optimization Problems with Convex Constraints and Its Application to DC Optimal Power Flow Problems Tianyu Zhao Xiang Pan Minghua Chen S. Low 27 10 0 15 Dec 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe Panagiotis Vlantis Leila J. Bridgeman Michael M. Zavlanos 40 0 0 22 Jun 2021
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 75 19 0 02 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 0 09 Aug 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,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