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
• Neural Network Verification
• Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond NeurlIPS 2020
  Authors: Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, Cho-Jui Hsieh
• Efficient Neural Network Robustness Certification with General Activation Functions NeurIPS 2018
  Authors: Huan Zhang, Tsui-Wei Weng, Pin-Yu Chen, Cho-Jui Hsieh, Luca Daniel
• Towards Fast Computation of Certified Robustness for ReLU Networks ICML 2018
  Authors: Tsui-Wei Weng, Huan Zhang, Hongge Chen, Zhao Song, Cho-Jui Hsieh, Duane Boning, Inderjit S. Dhillon, Luca Daniel
• Formal Security Analysis of Neural Networks Using Symbolic Intervals USENIX Security 2018 (SEC'18)
  Authors: Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
• 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)