サクサク読めて、アプリ限定の機能も多数!
NNの入力に対する出力の保障(敵対的摂動に対する保障など)を制約式で表し、最も制約を破っている制約式を探す最適化問題を作り、その最適化問題の最大値を双対問題の下界によって抑えることで、全ての制約式を守る
elu_18 のブックマーク 2018/08/13 23:37
A Dual Approach to Scalable Verification of Deep Networks[fromTw] NNの入力に対する出力の保障(敵対的摂動に対する保障など)を制約式で表し、最も制約を破っている制約式を探す最適化問題を作り、その最適化問題の最大値を双対問題の下界によって抑えることで、全ての制約式を守る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の入力に対する出力の保障(敵対的摂動に対する保障など)を制約式で表し、最も制約を破っている制約式を探す最適化問題を作り、その最適化問題の最大値を双対問題の下界によって抑えることで、全ての制約式を守る
elu_18 のブックマーク 2018/08/13 23:37
このブックマークにはスターがありません。
最初のスターをつけてみよう!
A Dual Approach to Scalable Verification of Deep Networks
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 件のコメント
\ コメントが サクサク読める アプリです /