@article{verifiableboostedtreeensembles,
  title = {Verifiable Boosted Tree Ensembles},
  author = {Stefano Calzavara and Lorenzo Cazzaro and Claudio Lucchese and Giulio Ermanno Pibiri},
  year = {2024},
  eprint = {2402.14988},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2402.14988v1},
}