Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks

DOI10.1145/3501710.3519533arXiv2111.09293OpenAlexW3211668688MaRDI QIDQ6120722

James Ferlez, Haitham Khedr, Yasser Shoukry

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.09293

zbMATH Keywords

neural networksneural network verificationrectified linear units

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Region configurations for realizability of lattice piecewise-linear models.
• Deep neural networks and mixed integer linear optimization
• Reverse search for enumeration
• Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Improved geometric path enumeration for verifying ReLU neural networks
• A Partial Order on the Regions of R n Dissected by Hyperplanes
• Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
• Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
• AReN
• Verisig
• Strong mixed-integer programming formulations for trained neural networks
• Unnamed Item
• Unnamed Item

This page was built for publication: Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks