Zhang, H., Zhang, P., & Hsieh, C.-J. (2019). RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 5757-5764. https://doi.org/10.1609/aaai.v33i01.33015757