SMTソルバを用いたニューラルネットワーク等価性検査について【JST・京大機械翻訳】

Eleftheriadis Charis; Kekatos Nikolaos; Katsaros Panagiotis; Tripakis Stavros

プレプリント

J-GLOBAL ID：202202202979482511 整理番号：22P0308279

SMTソルバを用いたニューラルネットワーク等価性検査について【JST・京大機械翻訳】

On Neural Network Equivalence Checking using SMT Solvers

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年03月22日プレプリントサーバーでの情報更新日： 2022年03月22日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

同じ入力に対して類似の出力を与えるならば,2つの事前訓練されたニューラルネットワークは等価である。知識蒸留,敵対訓練等,SMTソルバーを使用する場合,例えば知識蒸留,敵対訓練等,SMTソルバーを使用するとき,学習可能コンポーネントを,知識蒸留,敵対訓練などを満足させる必要のある場合,あるいはセキュリティ脅威に対処する必要性があるため,ニューラルネットワークの等価性チェックは,非常に重要であり,例えば,そのような解決策が,チェックされるニューラルネットワークのサイズに関して,重要な限界と関連する可能性がある。本研究は,等価検査問題の最初のSMTベース符号化を提示し,その有用性と限界を調べ,よりスケーラブルで実用的に適用できる解決策に向けた将来の研究と改善のための道筋を提案した。多様なタイプのニューラルネットワークモデル(分類器と回帰ネットワーク)と等価基準に対して,一般的でアプリケーションに依存しない等価性チェックアプローチに向けて,前述の問題に光を当てる実験結果を示した。【JST・京大機械翻訳】

, , , , , , ,
, , , 【Automatic Indexing@JST】

ニューロコンピュータ , 人工知能

, , , ,

前のページに戻る