Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

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)