Beyond robustness: Resilience verification of tree-based classifiers S Calzavara, L Cazzaro, C Lucchese, F Marcuzzi, S Orlando Computers & Security 121, 102843, 2022 | 7 | 2022 |
AMEBA: An Adaptive Approach to the Black-Box Evasion of Machine Learning Models S Calzavara, L Cazzaro, C Lucchese Proceedings of the 2021 ACM Asia Conference on Computer and Communications …, 2021 | 3 | 2021 |
Verifiable learning for robust tree ensembles S Calzavara, L Cazzaro, GE Pibiri, N Prezza Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 1 | 2023 |
Explainable Global Fairness Verification of Tree-Based Classifiers S Calzavara, L Cazzaro, C Lucchese, F Marcuzzi 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 1-17, 2023 | 1 | 2023 |
Verifiable Boosted Tree Ensembles S Calzavara, L Cazzaro, C Lucchese, GE Pibiri arXiv preprint arXiv:2402.14988, 2024 | | 2024 |