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

3 ビュー (過去 30 日間)
Mohammad Ehsanul Hoque
Mohammad Ehsanul Hoque 2020 年 9 月 13 日
編集済み: Mohammad Ehsanul Hoque 2020 年 9 月 13 日
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 件)

カテゴリ

Help Center および File Exchange で Deep Learning Toolbox についてさらに検索

タグ

Community Treasure Hunt

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

Start Hunting!

Translated by