2 papers
cs.LG2024
Verifiable Boosted Tree Ensembles
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese +1
Verifiable learning advocates for training machine learning models amenable to efficient security verification. Prior research demonstrated that specific classes of decision tree e…
cs.LG2021
Beyond Robustness: Resilience Verification of Tree-Based Classifiers
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese +2
In this paper we criticize the robustness measure traditionally employed to assess the performance of machine learning models deployed in adversarial settings. To mitigate the limi…