Our paper “Verifiable Boosted Tree Ensembles” has received a Distinguished Paper Award at IEEE S&P 2025!