Towards Automating Model Explanations with Certified Robustness Guarantees.

Mengdi Huai Jinduo Liu Chenglin Miao Liuyi Yao Aidong Zhang

Published in: AAAI (2022)

Keyphrases

mathematical model
high level
parameter estimation
computational model
statistical model
experimental data
closed form
formal model
database
linear model
hybrid model