Versatile Verification of Tree Ensembles.

Laurens Devos Wannes Meert Jesse Davis

Published in: CoRR (2020)

Keyphrases

tree ensembles
random forests
model checking
conformal prediction
decision trees
radial basis function