Simplifying Neural Networks using Formal Verification 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)
Parallelization Techniques for Verifying Neural Networks Wu, H., Ozdemir, A., c, A., Irfan, A., Julian, K., Gopinath, D., … Barrett, C. (2020). Parallelization Techniques for Verifying Neural Networks. ArXiv E-Prints, arXiv:2004.08440. (Original work published 2025)