Keyword:neural networks verification

Publications
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet Stefano Demarchi, Dario Guidotti, Luca Pulina and Armando Tacchella In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Minimal Modifications of Deep Neural Networks using Verification Ben Goldberger, Guy Katz, Yossi Adi and Joseph Keshet In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning