Gokulanathan, S. ., Feldsher, A. ., Malca, A. ., Barrett, C. ., & Katz, G. . (2019). Simplifying Neural Networks using Formal Verification. ArXiv E-Prints, arXiv:1910.12396. (Original work published 2025)