arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2005.05587cs.LGstat.ML

Robustness Verification for Classifier Ensembles

Radboud University Nijmegen(拉德堡德大学奈梅亨分校);University of Antwerp(安特卫普大学);TNO(荷兰应用科学研究组织);Leiden University(莱顿大学)

Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers

英文摘要:

We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic attacks and a distribution over this set. The robustness-checking problem consists of assessing, given a set of classifiers and a labelled data set, whether there exists a randomized attack that induces a certain expected loss against all classifiers. We show the NP-hardness of the problem and provide an upper bound on the number of attacks that is sufficient to form an optimal randomized attack. These results provide an effective way to reason about the robustness of a classifier ensemble. We provide SMT and MILP encodings to compute optimal randomized attacks or prove that there is no attack inducing a certain expected loss. In the latter case, the classifier ensemble is provably robust. Our prototype implementation verifies multiple neural-network ensembles trained for image-classification tasks. The experimental results using the MILP encoding are promising both in terms of scalability and the general applicability of our verification procedure.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑