Sound and Complete Neural Network Repair with Minimality and Locality
Guarantees

Sound and Complete Neural Network Repair with Minimality and Locality Guarantees

14 October 2021

Papers citing "Sound and Complete Neural Network Repair with Minimality and Locality Guarantees"

12 / 12 papers shown

Title
PRUNE: A Patching Based Repair Framework for Certiffable Unlearning of Neural Networks X. Li Jingyi Wang Xiaohan Yuan Peixin Zhang Z. Qin Zhibo Wang Kui Ren AAML MU 42 0 0 10 May 2025
Repairing Neural Networks for Safety in Robotic Systems using Predictive Models K. Majd Geoffrey Clark Georgios Fainekos H. B. Amor 24 0 0 07 Nov 2024
Inference-Time Rule Eraser: Fair Recognition via Distilling and Removing Biased Rules Yi Zhang Dongyuan Lu Jitao Sang FaML 28 1 0 07 Apr 2024
Machine Learning Robustness: A Primer Houssem Ben Braiek Foutse Khomh AAML OOD 32 5 0 01 Apr 2024
A Survey on Knowledge Editing of Neural Networks Vittorio Mazzia Alessandro Pedrani Andrea Caciolai Kay Rottmann Davide Bernardi KELM 12 24 0 30 Oct 2023
Architecture-Preserving Provable Repair of Deep Neural Networks Zhe Tao Stephanie Nawas Jacqueline Mitchell Aditya V. Thakur AAML 14 9 0 07 Apr 2023
Incremental Verification of Neural Networks Shubham Ugare Debangshu Banerjee Sasa Misailovic Gagandeep Singh 17 11 0 04 Apr 2023
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 16 1 0 12 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 17 1 0 08 Mar 2023
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks Mark Niklas Muller Marc Fischer Robin Staab Martin Vechev 6 3 0 14 Oct 2021
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers Ulices Santa Cruz James Ferlez Yasser Shoukry 14 9 0 06 Apr 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017