Neural Network Robustness as a Verification Property: A Principled Case Study

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt +4

Neural networks are very successful at detecting patterns in noisy data, and have become the technology of choice in many fields. However, their usefulness is hampered by their sus…