Abstract Interpretation of Decision Tree Ensemble Classifiers.
Francesco RanzatoMarco ZanellaPublished in: AAAI (2020)
Keyphrases
- ensemble classifier
- abstract interpretation
- decision trees
- termination analysis
- random forest
- static analysis
- base classifiers
- ensemble methods
- classification models
- ensemble learning
- model checking
- active rules
- active databases
- dynamic analysis
- fusion method
- reasoning engine
- concept drift
- machine learning
- training data
- machine learning algorithms
- naive bayes
- support vector machine
- source code
- generalization ability
- multi class
- data mining