Emerging Trends in Verification of Neural Networks

• Tools
• alpha,beta-CROWN auto LiRPA
• DiffAI
• FastBATLLNN (Fast Box Analysis of Two-Level Lattice Neural Networks)
• Marabou Framework, The
• NeuralSAT
• NNENUM-Nueral Network Enumeration Tool
• NNV (Neural Network Verification), a Matlab toolbox
• PyRAT
• Competitions
• International Verification of Neural Networks Compeition (VNN-COMP): 2023
• Institutions
• SRI Lab at ETHZ
• Gagandeep Singh at FOCAL Lab, UIUC
• Aws Albarghouthi at UW–Madison
• Companies
• LatticeFlow (a startup spinoff from SafeAI at ETH Zurich)