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

7 views (last 30 days)
Mohammad Ehsanul Hoque
Mohammad Ehsanul Hoque on 13 Sep 2020
Edited: Mohammad Ehsanul Hoque on 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?

Sign in to answer this question.

Answers (0)

Categories

Find more on Deep Learning Toolbox in Help Center and File Exchange

Tags

Community Treasure Hunt

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

Start Hunting!