How can verify a neural network using SMT/ILP/SAT solvers?
2 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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?
0 Commenti
Risposte (0)
Vedere anche
Categorie
Scopri di più su Deep Learning Toolbox in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!