Simplifying Neural Networks Using Formal Verification
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett, Guy Katz
Topics & Concepts
Computer scienceLeverage (statistics)Deep neural networksArtificial neural networkProcess (computing)Field (mathematics)Artificial intelligenceFormal verificationMachine learningTheoretical computer scienceProgramming languagePure mathematicsMathematicsAdversarial Robustness in Machine LearningSoftware Testing and Debugging TechniquesAdvanced Neural Network Applications