C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.
Gelin Zhang
Zhe Hou
Yanhong Huang
Jianqi Shi
Hadrien Bride
Jin Song Dong
Yongsheng Gao
Published in:
CoRR (2021)
Keyphrases
</>
logical reasoning
decision trees
formal semantics
optimal solution
dynamic programming
data sets
neural network
artificial intelligence
random forest
random forests
worst case
tree structure
tree ensembles