@misc{indiciae7f7f7f337306,
  title = {Verifiable Boosted Tree Ensembles},
  author = {Stefano Calzavara and Lorenzo Cazzaro and Claudio Lucchese and Giulio Ermanno Pibiri},
  year = {2024},
  url = {https://arxiv.org/abs/2402.14988},
  note = {Source identifier: 2402.14988}
}