Azzera filtri
Azzera filtri

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

2 visualizzazioni (ultimi 30 giorni)
Mohammad Ehsanul Hoque
Mohammad Ehsanul Hoque il 13 Set 2020
Modificato: Mohammad Ehsanul Hoque il 13 Set 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?

Accedi per rispondere a questa domanda.

Risposte (0)

Categorie

Scopri di più su Deep Learning Toolbox in Help Center e File Exchange

Tag

Community Treasure Hunt

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

Start Hunting!

Translated by