Verifiable Boosted Tree Ensembles.

Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Giulio Ermanno Pibiri

Browse the full SP paper archive.