Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control

Ferlez, James, Haitham Khedr, and Yasser Shoukry. (2022). Fast BATLLNN: fast box analysis of two-level lattice neural networks. Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1-11.