RT @masahiro_sakai: Planning with Learned Binarized Neural Networks は、自分も昨年BNNの最小摂動の敵対的サンプル生成の問題を投稿してた https://t.co/AdXJ4l3dK0 ので、その延長(?)で気…
488 followers
2,106 followers
Planning with Learned Binarized Neural Networks は、自分も昨年BNNの最小摂動の敵対的サンプル生成の問題を投稿してた https://t.co/AdXJ4l3dK0 ので、その延長(?)で気になる。 Decision Trees and Boosted Trees は https://t.co/SSfIOhuo6a の話かな。
1,112 followers
RT @masahiro_sakai: SAT-Based Encodings for Optimal Decision Trees with Explicit Paths https://t.co/Yuw61N4WCP SATソルバを使って最適な決定木を求める話。具体的には、…
2,106 followers
SAT-Based Encodings for Optimal Decision Trees with Explicit Paths https://t.co/Yuw61N4WCP SATソルバを使って最適な決定木を求める話。具体的には、二値分類で特徴量も2値のケースで、完全な分類を行う決定木のなかで、深さやノード数が特定の数の木をSATで求めるのを小さい方から繰り返す。