Towards Repairing Neural Networks Correctly
Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authentication). While many impressive static verification techniques have been proposed to tackle the correctness problem of neural networks, it is possible that static verification may never be sufficiently scalable to handle real-world neural networks. In this work, we propose a runtime verification method to ensure the correctness of neural networks. Given a neural network and a desirable safety property, we adopt state-of-the-art static verification techniques to identify strategically locations to introduce additional gates which "correct" neural network behaviors at runtime. Experiment results show that our approach effectively generates neural networks which are guaranteed to satisfy the properties, whilst being consistent with the original neural network most of the time.
Code (0)
등록된 구현이 없습니다.
Tasks
Decision MakingFace RecognitionSimilar Papers 제목 키워드 기반
Time Series Data Cleaning: From Anomaly Detection to Anomaly Repairing
Errors are prevalent in time series data, such as GPS trajectories or sensor readings. Existing methods focus more on anomaly detection but not on repairing the detected anomalies. By simply filtering out the dirty data …
Anomaly Detectionparameter estimationTime SeriesTime Series Analysis+1A Study of In-Context-Learning-Based Text-to-SQL Errors
Large language models (LLMs) have been adopted to perform text-to-SQL tasks, utilizing their in-context learning (ICL) capability to translate natural language questions into structured query language (SQL). However, suc…
In-Context LearningText to SQLText-To-SQLSelf-repairing Classification Algorithms for Chemical Sensor Array
Chemical sensors are usually affected by drift, have low fabrication reproducibility and can experience failure or breaking events over the long term. Albeit improvements in fabrication processes are often slow and inade…
ClassificationArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks
Over the past few years, deep neural networks (DNNs) have achieved tremendous success and have been continuously applied in many application domains. However, during the practical deployment in the industrial tasks, DNNs…
SR-OOD: Out-of-Distribution Detection via Sample Repairing
Out-of-distribution (OOD) detection is a crucial task for ensuring the reliability and robustness of machine learning models. Recent works have shown that generative models often assign high confidence scores to OOD samp…
Generative Adversarial NetworkOut-of-Distribution DetectionOut of Distribution (OOD) Detection