Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2110.07682
Cited By
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees
14 October 2021
Feisi Fu
Wenchao Li
KELM
AAML
Re-assign community
ArXiv
PDF
HTML
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
30
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
16
9
0
07 Apr 2023
Incremental Verification of Neural Networks
Shubham Ugare
Debangshu Banerjee
Sasa Misailovic
Gagandeep Singh
19
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
18
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
19
1
0
08 Mar 2023
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Mark Niklas Muller
Marc Fischer
Robin Staab
Martin Vechev
8
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
16
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
1