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

3 visualizaciones (últimos 30 días)
Mohammad Ehsanul Hoque
Mohammad Ehsanul Hoque el 13 de Sept. de 2020
Editada: Mohammad Ehsanul Hoque el 13 de Sept. de 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?

Iniciar sesión para responder a esta pregunta.

Respuestas (0)

Categorías

Más información sobre Deep Learning Toolbox en Help Center y File Exchange.

Etiquetas

Community Treasure Hunt

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

Start Hunting!

Translated by