Verifiable Boosted Tree Ensembles.

Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri

Published in: CoRR (2024)

Keyphrases

tree ensembles
random forests
random forest
logistic regression
decision trees
machine learning algorithms
ensemble methods
sufficient conditions
machine learning
feature selection
knn