Formal Reasoning About Confidence and Automated Verification of Neural Networks.

Mohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta

Browse the full FM paper archive.