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
• 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
• Evaluating Robustness of Neural Networks with Mixed Integer Programming ICLR 2019
  Authors: Vincent Tjeng, Kai Y. Xiao, Russ Tedrake
• The Crown project
  • Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond NeurlPS 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
• NeuralSAT verification project
  • Compositional DNN Verification (Spotlight) NeurIPS 2025
  • NeuralSAT Verification Tool CAV 2025
  • Generating and Checking DNN Verification Proofs NeurIPS 2025
• 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)