Towards formal XAI: formally approximate minimal explanations of neural networks

S Bassan, G Katz - International Conference on Tools and Algorithms for …, 2023 - Springer
With the rapid growth of machine learning, deep neural networks (DNNs) are now being
used in numerous domains. Unfortunately, DNNs are “black-boxes”, and cannot be …

Verifying learning-augmented systems

T Eliyahu, Y Kazak, G Katz, M Schapira - Proceedings of the 2021 ACM …, 2021 - dl.acm.org
The application of deep reinforcement learning (DRL) to computer and networked systems
has recently gained significant popularity. However, the obscurity of decisions by DRL …

A rapid method to predict type and adulteration of coconut milk by near-infrared spectroscopy combined with machine learning and chemometric tools

A Sitorus, R Lapcharoensuk - Microchemical Journal, 2023 - Elsevier
Coconut milk is a soft target for adulterators owing to its simplicity of chemical composition.
Professionals and consumers want to control the originalitas of coconut milk, while sellers …

[PDF][PDF] Towards scalable verification of deep reinforcement learning

G Amir, M Schapira, G Katz - 2021 formal methods in computer …, 2021 - library.oapen.org
Deep neural networks (DNNs) have gained significant popularity in recent years, becoming
the state of the art in a variety of domains. In particular, deep reinforcement learning (DRL) …

Verifying learning-based robotic navigation systems

G Amir, D Corsi, R Yerushalmi, L Marzari… - … Conference on Tools …, 2023 - Springer
Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for
tasks where complex policies are learned within reactive systems. Unfortunately, these …

[HTML][HTML] A numerical verification method for multi-class feed-forward neural networks

D Grimm, D Tollner, D Kraus, Á Török, E Sax… - Expert Systems with …, 2024 - Elsevier
The use of neural networks in embedded systems is becoming increasingly common, but
these systems often operate in safety–critical environments, where a failure or incorrect …

An abstraction-refinement approach to verifying convolutional neural networks

M Ostrovsky, C Barrett, G Katz - International Symposium on Automated …, 2022 - Springer
Convolutional neural networks (CNNs) have achieved immense popularity in areas like
computer vision, image processing, speech proccessing, and many others. Unfortunately …

Verifying generalization in deep learning

G Amir, O Maayan, T Zelazny, G Katz… - … Conference on Computer …, 2023 - Springer
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the
state of the art in numerous application domains. However, DNN-based decision rules are …

Verification-Guided Shielding for Deep Reinforcement Learning

D Corsi, G Amir, A Rodríguez, C Sánchez… - arxiv preprint arxiv …, 2024 - arxiv.org
In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach
to solving real-world tasks. However, despite their successes, DRL-based policies suffer …

The# dnn-verification problem: Counting unsafe inputs for deep neural networks

L Marzari, D Corsi, F Cicalese, A Farinelli - arxiv preprint arxiv …, 2023 - arxiv.org
Deep Neural Networks are increasingly adopted in critical tasks that require a high level of
safety, eg, autonomous driving. While state-of-the-art verifiers can be employed to check …