Provably Robust Boosted Decision Stumps and Trees against Adversarial
Attacks

Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks

8 June 2019

Maksym Andriushchenko

Matthias Hein

Papers citing "Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks"

14 / 14 papers shown

Title
Interpretable Differencing of Machine Learning Models Swagatam Haldar Diptikalyan Saha Dennis L. Wei Rahul Nair Elizabeth M. Daly 11 1 0 10 Jun 2023
Adversarial Robustness for Tabular Data through Cost and Utility Awareness Klim Kireev B. Kulynych Carmela Troncoso AAML 20 16 0 27 Aug 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 32 1 0 18 Aug 2022
Provably Adversarially Robust Nearest Prototype Classifiers Václav Voráček Matthias Hein AAML 20 11 0 14 Jul 2022
Integrity Authentication in Tree Models Weijie Zhao Yingjie Lao Ping Li 51 5 0 30 May 2022
Certifying Robustness to Programmable Data Bias in Decision Trees Anna P. Meyer Aws Albarghouthi Loris Dántoni 24 21 0 08 Oct 2021
Being Properly Improper Tyler Sypherd Richard Nock Lalitha Sankar FaML 31 10 0 18 Jun 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 28 55 0 06 Apr 2021
SoK: Privacy-Preserving Collaborative Tree-based Model Learning Sylvain Chatel Apostolos Pyrgelis J. Troncoso-Pastoriza Jean-Pierre Hubaux 15 14 0 16 Mar 2021
T-Miner: A Generative Approach to Defend Against Trojan Attacks on DNN-based Text Classification A. Azizi I. A. Tahmid Asim Waheed Neal Mangaokar Jiameng Pu M. Javed Chandan K. Reddy Bimal Viswanath AAML 14 76 0 07 Mar 2021
A Multiclass Boosting Framework for Achieving Fast and Provable Adversarial Robustness Jacob D. Abernethy Pranjal Awasthi Satyen Kale AAML 13 6 0 01 Mar 2021
Connecting Interpretability and Robustness in Decision Trees through Separation Michal Moshkovitz Yao-Yuan Yang Kamalika Chaudhuri 25 22 0 14 Feb 2021
Robustness for Non-Parametric Classification: A Generic Attack and Defense Yao-Yuan Yang Cyrus Rashtchian Yizhen Wang Kamalika Chaudhuri SILM AAML 24 42 0 07 Jun 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017