PROVEN Verifying Robustness of Neural Networks with a Probabilistic Approach

PROVEN:VerifyingRobustnessofNeuralNetworkswithaProbabilisticApproachTsui-WeiWeng1Pin-YuChen2LamM.Nguyen2MarkS.Squillante2AkhilanBoopathy1IvanOseledets3LucaDaniel1Abstractdevelopingeffectivecounterm...