Zhang, Huan, Pengchuan Zhang, and Cho-Jui Hsieh. 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-64. https://doi.org/10.1609/aaai.v33i01.33015757.