Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges

26 April 2019

Papers citing "Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges"

6 / 6 papers shown

Title
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 49 56 0 06 Apr 2021
Embedding and Extraction of Knowledge in Tree Ensemble Classifiers Wei Huang Xingyu Zhao Xiaowei Huang AAML 19 11 0 16 Oct 2020
Robustness Verification of Tree-based Models Hongge Chen Huan Zhang Si Si Yang Li Duane S. Boning Cho-Jui Hsieh AAML 22 76 0 10 Jun 2019
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 67 87 0 02 Oct 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,845 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 186 932 0 21 Oct 2016