Provable Repair of Deep Neural Networks

9 April 2021

Papers citing "Provable Repair of Deep Neural Networks"

13 / 13 papers shown

Title
PRUNE: A Patching Based Repair Framework for Certiffable Unlearning of Neural Networks Xuzhao Li Jingyi Wang Xiaohan Yuan Peixin Zhang Zhanyue Qin Zhibo Wang Kui Ren AAML MU 52 0 0 10 May 2025
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 163 3 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 19 1 0 08 Mar 2023
AIREPAIR: A Repair Platform for Neural Networks Xidan Song Youcheng Sun Mustafa A. Mustafa Lucas C. Cordeiro KELM 16 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 185 0 31 May 2022
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,838 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