サクサク読めて、アプリ限定の機能も多数！
NNの入力に対する出力の保障（敵対的摂動に対する保障など）を制約式で表し、最も制約を破っている制約式を探す最適化問題を作り、その最適化問題の最大値を双対問題の下界によって抑えることで、全ての制約式を守る
elu_18 のブックマーク 2018/08/13 23:37
このブックマークにはスターがありません。 最初のスターをつけてみよう！
arxiv.org2018/08/10
This paper addresses the problem of formally verifying desirable properties of neural networks, i.e., obtaining provable guarantees that neural networks satisfy specifications relating their inputs...
2 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
NNの入力に対する出力の保障（敵対的摂動に対する保障など）を制約式で表し、最も制約を破っている制約式を探す最適化問題を作り、その最適化問題の最大値を双対問題の下界によって抑えることで、全ての制約式を守る
このブックマークにはスターがありません。
最初のスターをつけてみよう！
A Dual Approach to Scalable Verification of Deep Networks
This paper addresses the problem of formally verifying desirable properties of neural networks, i.e., obtaining provable guarantees that neural networks satisfy specifications relating their inputs...
2 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／