Verifying Feedforward Neural Networks for Classification in Isabelle/HOL
Achim D. Brucker, Amy Stell
Topics & Concepts
Computer scienceArtificial neural networkFeedforward neural networkHOLArtificial intelligenceFormal verificationFeed forwardFormal methodsSemantics (computer science)EmbeddingRecurrent neural networkProgramming languageMachine learningControl engineeringEngineeringAdversarial Robustness in Machine LearningAdvanced Malware Detection TechniquesAnomaly Detection Techniques and Applications