Login / Signup
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