Certifying Decision Trees Against Evasion Attacks by Program Analysis

6 July 2020

Papers citing "Certifying Decision Trees Against Evasion Attacks by Program Analysis"

8 / 8 papers shown

Title
Verifiable Boosted Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri AAML 44 0 0 22 Feb 2024
Verifiable Learning for Robust Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Giulio Ermanno Pibiri N. Prezza AAML 23 2 0 05 May 2023
Beyond Robustness: Resilience Verification of Tree-Based Classifiers Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Federico Marcuzzi S. Orlando AAML 38 9 0 05 Dec 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 39 55 0 06 Apr 2021
Genetic Adversarial Training of Decision Trees Francesco Ranzato Marco Zanella 14 14 0 21 Dec 2020
Versatile Verification of Tree Ensembles Laurens Devos Wannes Meert Jesse Davis AAML 17 12 0 26 Oct 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016