Provable Repair of Deep Neural Networks

9 April 2021

Papers citing "Provable Repair of Deep Neural Networks"

15 / 15 papers shown

Title
PRUNE: A Patching Based Repair Framework for Certifiable Unlearning of Neural Networks Xuzhao Li Jingyi Wang Xiaohan Yuan Peixin Zhang Zhan Qin Peng Kuang Kui Ren AAML MU 52 0 0 10 May 2025
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 163 1 0 14 Oct 2024
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics David Boetius Stefan Leue 28 0 0 24 May 2024
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 53 6 0 12 Apr 2024
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
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius Stefan Leue Tobias Sutter 33 4 0 26 Jan 2023
AIREPAIR: A Repair Platform for Neural Networks Xidan Song Youcheng Sun Mustafa A. Mustafa Lucas C. Cordeiro KELM 19 4 0 24 Nov 2022
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations S. Munakata Caterina Urban Haruki Yokoyama Koji Yamamoto Kazuki Munakata AAML 17 4 0 13 Jul 2022
Post-hoc Concept Bottleneck Models Mert Yuksekgonul Maggie Wang James Zou 145 186 0 31 May 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
Fast Model Editing at Scale E. Mitchell Charles Lin Antoine Bosselut Chelsea Finn Christopher D. Manning KELM 230 343 0 21 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees Feisi Fu Wenchao Li KELM AAML 41 26 0 14 Oct 2021
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 180 932 0 21 Oct 2016