Verifying Robustness of Gradient Boosted Models

26 June 2019

Papers citing "Verifying Robustness of Gradient Boosted Models"

9 / 9 papers shown

Title
Verifiable Boosted Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri AAML 44 0 0 22 Feb 2024
Uncertainty Estimation based on Geometric Separation Gabriella Chouraqui L. Cohen Gil Einziger Liel Leman 35 0 0 11 Jan 2023
Implementing Reinforcement Learning Datacenter Congestion Control in NVIDIA NICs Benjamin Fuhrer Yuval Shpigelman Chen Tessler Shie Mannor Gal Chechik E. Zahavi Gal Dalal 33 4 0 05 Jul 2022
SaDe: Learning Models that Provably Satisfy Domain Constraints Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel ALM 33 5 0 01 Dec 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 39 55 0 06 Apr 2021
Certifying Decision Trees Against Evasion Attacks by Program Analysis Stefano Calzavara Pietro Ferrara Claudio Lucchese AAML 21 10 0 06 Jul 2020
Robustness Verification of Tree-based Models Hongge Chen Huan Zhang Si Si Yang Li Duane S. Boning Cho-Jui Hsieh AAML 17 76 0 10 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 249 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 932 0 21 Oct 2016