Zhang, H.; Zhang, P.; Hsieh, C.-J. RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications. AAAI 2019, 33, 5757-5764.