TY  - RPRT
TI  - Verifiable Boosted Tree Ensembles
AU  - Stefano Calzavara
AU  - Lorenzo Cazzaro
AU  - Claudio Lucchese
AU  - Giulio Ermanno Pibiri
PY  - 2024
UR  - https://arxiv.org/abs/2402.14988
ID  - 2402.14988
ER  -