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)