Verifiable Learning for Robust Tree Ensembles

Stefano Calzavara, Lorenzo Cazzaro, Giulio Ermanno Pibiri +1

Verifying the robustness of machine learning models against evasion attacks at test time is an important research problem. Unfortunately, prior work established that this problem i…