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

4 Ansichten (letzte 30 Tage)
Mohammad Ehsanul Hoque
Mohammad Ehsanul Hoque am 13 Sep. 2020
Bearbeitet: Mohammad Ehsanul Hoque am 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?

Melden Sie sich an, um diese Frage zu beantworten.

Antworten (0)

Kategorien

Mehr zu Deep Learning Toolbox finden Sie in Help Center und File Exchange

Tags

Community Treasure Hunt

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

Start Hunting!

Translated by