Reposted by もっちぃ
1st International Workshop on Solving Linear Optimization Problems for Pseudo-Booleans and Yonder (SLOPPY '24) の発表資料と録画が公開されていた。
jakobnordstrom.se/SLOPPY24/
jakobnordstrom.se/SLOPPY24/
Jakob Nordström: SLOPPY '24
jakobnordstrom.se
November 21, 2024 at 12:07 AM
1st International Workshop on Solving Linear Optimization Problems for Pseudo-Booleans and Yonder (SLOPPY '24) の発表資料と録画が公開されていた。
jakobnordstrom.se/SLOPPY24/
jakobnordstrom.se/SLOPPY24/
Reposted by もっちぃ
Binarized Neural Networks に対する最小の敵対的サンプルを求める問題を MIPLIB 2024 に投稿してみました。以前に Max-SAT Evaluation 2020 に L∞ ノルム最小化の設定で投稿して5問が使われましたが、今回はその5問と同じ画像で L₀, L₁, L₂, L∞ ノルムの最小化になっています。
github.com/msakai/bnn-v...
github.com/msakai/bnn-v...
bnn-verification/miplib2024_submission at master · msakai/bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020 - msakai/bnn-verification
github.com
October 30, 2024 at 3:34 PM
Binarized Neural Networks に対する最小の敵対的サンプルを求める問題を MIPLIB 2024 に投稿してみました。以前に Max-SAT Evaluation 2020 に L∞ ノルム最小化の設定で投稿して5問が使われましたが、今回はその5問と同じ画像で L₀, L₁, L₂, L∞ ノルムの最小化になっています。
github.com/msakai/bnn-v...
github.com/msakai/bnn-v...
Reposted by もっちぃ
Reposted by もっちぃ
