Verifiable Boosted Tree Ensembles

Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Giulio Ermanno PibiriUniversità Ca' Foscari Venezia

IEEE Symposium on Security and Privacy 2025 · Day 2 · ML Defenses