Efficient Neural Network Analysis with Sum-of-Infeasibilities. Wu, H., Zeljić, A., Katz, G., & Barrett, C. In Fisman, D. & Rosu, G., editors, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 13243, of Lecture Notes in Computer Science, pages 143–163, April, 2022. Springer.
Efficient Neural Network Analysis with Sum-of-Infeasibilities [pdf]Paper  doi  bibtex   2 downloads  

Downloads: 2