GPU Accelerated Sub-Sampled Newton's Method Kylasa, S. ., Roosta-Khorasani, F. ., Mahoney, M. ., & Grama, A. . (2018). GPU Accelerated Sub-Sampled Newton’s Method. ArXiv E-Prints, arXiv:1802.09113. (Original work published 2025)
An SMT-Based Approach for Verifying Binarized Neural Networks Amir, G. ., Wu, H. ., Barrett, C. ., & Katz, G. . (2020). An SMT-Based Approach for Verifying Binarized Neural Networks. ArXiv E-Prints, arXiv:2011.02948.