Litcius/Paper detail

pyNeVer: A Framework for Learning and Verification of Neural Networks

Dario Guidotti, Luca Pulina, Armando Tacchella

2021Lecture notes in computer science17 citationsDOIOpen Access PDF

Topics & Concepts

Computer scienceArtificial neural networkArtificial intelligenceAdversarial Robustness in Machine LearningAdvanced Malware Detection TechniquesAnomaly Detection Techniques and Applications
pyNeVer: A Framework for Learning and Verification of Neural Networks | Litcius