{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T08:10:43Z","timestamp":1780387843925,"version":"3.54.1"},"reference-count":51,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","funder":[{"name":"PEPR\/IA"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Numer. Anal."],"published-print":{"date-parts":[[2026,6,30]]},"DOI":"10.1137\/25m1742503","type":"journal-article","created":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T07:53:11Z","timestamp":1780386791000},"page":"779-803","source":"Crossref","is-referenced-by-count":0,"title":["A Posteriori Lipschitz Bounds for Deep Neural Networks"],"prefix":"10.1137","volume":"64","author":[{"given":"Moreno","family":"Pintore","sequence":"first","affiliation":[{"name":"Laboratoire Jacques-Louis Lions LJLL, Sorbonne Universit\u00e9, MEGAVOLT team, INRIA F-75005 Paris, France."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruno","family":"Despr\u00e9s","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, Universit\u00e9 Paris Cit\u00e9, CNRS, INRIA, Laboratoire Jacques-Louis Lions, LJLL, F-75005 Paris, France, and MEGAVOLT team, INRIA, F-75013 Paris, France."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2026,6,2]]},"reference":[{"key":"ref1","unstructured":"M. Abadi et\u00a0al., TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems, 2015, http:\/\/tensorflow.org\/."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0045-7825(96)01107-3"},{"key":"ref3","first-page":"1","volume-title":"Error Control, Adaptive Discretizations, and Applications, Part 1, Adv. Appl. Mech. 58","author":"Becker R.","year":"2024"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1051\/m2an:2004021"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11565-022-00441-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-022-01950-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4310\/CMS.2024.v22.n6.a1"},{"key":"ref8","unstructured":"J. Bradbury, R. Frostig, P. Hawkins, M. J. Johnson, C. Leary, D. Maclaurin, G. Necula, A. Paszke, J. VanderPlas, S. Wanderman-Milne, and Q. Zhang, JAX: Composable Transformations of Python+NumPy Programs, 2018, http:\/\/github.com\/google\/jax."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/9781108380690.002"},{"key":"ref10","first-page":"10081","volume":"34","author":"Bubeck S.","year":"2021","journal-title":"Adv. Neural Inform. Process. Syst."},{"key":"ref11","unstructured":"T. Chen, J. Lasserre, V. Magron, and E. Pauwels, Semialgebraic optimization for Lipschitz constants of ReLU networks, in Proceedings of the 34th International Conference on Neural Information Processing Systems, 2020."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/19M1272780"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s42979-021-00514-x"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2022.3199601"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00365-021-09548-z"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1515\/9783110783186"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.5802\/crmath.462"},{"key":"ref18","author":"Despr\u00e9s B.","year":"2025","journal-title":"Trans. Mach. Learn. Res."},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.5802\/crmath.124"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00025-025-02487-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11425-018-9387-x"},{"key":"ref22","unstructured":"M. Fazlyab, A. Robey, H. Hassani, M. Morari, and G. J. Pappas, Efficient and accurate estimation of Lipschitz constants for deep neural networks, in Proceedings of the 33rd International Conference on Neural Information Processing Systems, 2019."},{"key":"ref23","unstructured":"J. Y. Franceschi, A. Fawzi, and O. Fawzi, Robustness of classifiers to uniform \\(ell_p\\) and Gaussian noise, in Proceedings of the 21st International Conference on Artificial Intelligence and Statistics, Proc. Mach. Learn. Res.84, 2018, pp. 1280\u20131288."},{"key":"ref24","volume-title":"Deep Learning","author":"Goodfellow I.","year":"2016"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-020-05929-w"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.compstruc.2004.08.011"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3389\/frsip.2022.794469"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.4208\/jcm.1901-m2018-0160"},{"key":"ref30","doi-asserted-by":"crossref","unstructured":"K. He, X. Zhang, S. Ren, and J. Sun, Delving deep into rectifiers: Surpassing human-level performance on ImageNet classification, in Proceedings of the IEEE International Conference on Computer Vision, 2015, pp. 1026\u20131034.","DOI":"10.1109\/ICCV.2015.123"},{"key":"ref31","volume-title":"Matrix Norms","author":"Higham N. J.","year":"1996"},{"key":"ref32","unstructured":"C. W. Huang, A. Touati, P. Vincent, G. K. Dziugaite, A. Lacoste, and A. C. Courville, Stochastic neural network with kronecker flow, in Proceedings of the International Conference on Artificial Intelligence and Statistics, 2019."},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.spl.2021.109071"},{"key":"ref34","unstructured":"D. P. Kingma and J. Ba, Adam: A Method for Stochastic Optimization, preprint, https:\/\/doi.org\/10.48550\/arXiv.1412.6980, 2014."},{"key":"ref35","volume-title":"Proceedings of the LatinX in AI Workshop at ICML 2023","author":"Latorre F.","year":"2023"},{"key":"ref36","unstructured":"F. Latorre, P. T. Y. Rolland, and V. Cevher, Lipschitz constant estimation of neural networks via sparse polynomial optimization, in Proceedings of the 8th International Conference on Learning Representations, 2020."},{"key":"ref37","doi-asserted-by":"crossref","unstructured":"Y. Lecun, L. Bottou, Y. Bengio, and P. Haffner, Gradient-based learning applied to document recognition, Proc IEEE, 86 (1998), pp. 2278\u20132324.","DOI":"10.1109\/5.726791"},{"key":"ref38","first-page":"16891","volume-title":"Adv. Neural Inform. Process. Syst.","volume":"33","author":"Lee S.","year":"2020"},{"key":"ref39","unstructured":"H. T. D. Liu, F. Williams, A. Jacobson, S. Fidler, and O. Litany, Learning smooth neural functions via Lipschitz regularization, in Proceedings of the ACM SIGGRAPH Conference, 2022."},{"key":"ref40","unstructured":"A. Madry, A. Makelov, L. Schmidt, D. Tsipras, and A. Vladu, Towards deep learning models resistant to adversarial attacks, in Proceedings of the 6th International Conference on Learning Representations, 2018."},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1142\/S0219530519410136"},{"key":"ref42","first-page":"8024","volume-title":"Advances in Neural Information Processing Systems 32","author":"Paszke A.","year":"2019"},{"key":"ref43","unstructured":"M. Pintore and B. Despr\u00e9s, Computable Lipschitz Bounds for Deep Neural Networks, preprint, https:\/\/arxiv.org\/abs\/2410.21053, 2024."},{"key":"ref44","first-page":"310","author":"Sharma S.","year":"2020","journal-title":"Internat. J. Engrg. Appl. Sci. Technol., 4"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4hpw"},{"key":"ref46","unstructured":"C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow, and R. Fergus, Intriguing properties of neural networks, in Proceeding of the 2nd International Conference on Learning Representations, 2014."},{"key":"ref47","volume-title":"Advances in Neural Information Processing Systems","volume":"31","author":"Virmaux A.","year":"2018"},{"key":"ref48","unstructured":"L. Weng, H. Zhang, H. Chen, Z. Song, C.J. Hsieh, L. Daniel, D. Boning, and I. Dhillon, Towards fast computation of certified robustness for ReLU networks, in Proceedings of the 35th International Conference on Machine Learning, Proc. Mach. Learn. Res. 80, 2018, pp. 5276\u20135285."},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2010.06.039"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2017.07.002"},{"key":"ref51","unstructured":"H. Zhang, T.W. Weng, P.Y. Chen, C.J. Hsieh, and L. Daniel, Efficient neural network robustness certification with general activation functions, in Proceedings of the 32nd International Conference on Neural Information Processing Systems, 2018, pp. 4944\u20134953."}],"container-title":["SIAM Journal on Numerical Analysis"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T07:53:21Z","timestamp":1780386801000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/25M1742503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,2]]},"references-count":51,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,6,30]]}},"alternative-id":["10.1137\/25M1742503"],"URL":"https:\/\/doi.org\/10.1137\/25m1742503","relation":{},"ISSN":["0036-1429","1095-7170"],"issn-type":[{"value":"0036-1429","type":"print"},{"value":"1095-7170","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,2]]}}}