Effacer les filtres
Effacer les filtres

How can verify a neural network using SMT/ILP/SAT solvers?

2 vues (au cours des 30 derniers jours)
Mohammad Ehsanul Hoque
Mohammad Ehsanul Hoque le 13 Sep 2020
Modifié(e) : Mohammad Ehsanul Hoque le 13 Sep 2020
Suppose I have a trained network consisting of a fully connected layer and relu activation. How can use the trained weights to verify the accuracy of the model. In my case, I will be classifying MNIST dataset. Is there any package or functions to solve the problem similar to z3 in python or any other SMT/SAT solvers?

Connectez-vous pour répondre à cette question.

Réponses (0)

Catégories

En savoir plus sur Deep Learning Toolbox dans Help Center et File Exchange

Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by