TY - RPRT TI - Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers AU - Amel Nestor Docena AU - Thomas Wahl AU - Trevor Pearce AU - Yunsi Fei PY - 2021 DO - 10.4204/eptcs.342.4 UR - https://arxiv.org/abs/2109.03966 ID - 2109.03966 ER -