ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2110.07682
  4. Cited By
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
Feisi Fu
Wenchao Li
    KELM
    AAML
ArXivPDFHTML

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
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
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
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
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
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
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
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
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
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
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
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
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