A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks

01/26/2023
by   David Boetius, et al.
0

Counterexample-guided repair aims at creating neural networks with mathematical safety guarantees, facilitating the application of neural networks in safety-critical domains. However, whether counterexample-guided repair is guaranteed to terminate remains an open question. We approach this question by showing that counterexample-guided repair can be viewed as a robust optimisation algorithm. While termination guarantees for neural network repair itself remain beyond our reach, we prove termination for more restrained machine learning models and disprove termination in a general setting. We empirically study the practical implications of our theoretical results, demonstrating the suitability of common verifiers and falsifiers for repair despite a disadvantageous theoretical result. Additionally, we use our theoretical insights to devise a novel algorithm for repairing linear regression models, surpassing existing approaches.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/24/2022

AIREPAIR: A Repair Platform for Neural Networks

We present AIREPAIR, a platform for repairing neural networks. It featur...
research
06/12/2023

Semantic-Based Neural Network Repair

Recently, neural networks have spread into numerous fields including man...
research
11/18/2020

NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks

In this work, we present an early prototype of NeVer 2.0, a new system f...
research
08/17/2020

Runtime-Safety-Guided Policy Repair

We study the problem of policy repair for learning-based control policie...
research
05/20/2020

Model Repair: Robust Recovery of Over-Parameterized Statistical Models

A new type of robust estimation problem is introduced where the goal is ...
research
04/20/2022

Causality-based Neural Network Repair

Neural networks have had discernible achievements in a wide range of app...
research
10/14/2021

Sound and Complete Neural Network Repair with Minimality and Locality Guarantees

We present a novel methodology for repairing neural networks that use Re...

Please sign up or login with your details

Forgot password? Click here to reset