{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T09:17:55Z","timestamp":1769505475618,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T00:00:00Z","timestamp":1672876800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,5]]},"DOI":"10.1145\/3583788.3583795","type":"proceedings-article","created":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T22:12:05Z","timestamp":1685916725000},"page":"46-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Validated Computation of Lipschitz Constant of Recurrent Neural Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3298-4895","authenticated-orcid":false,"given":"Yuhua","family":"Guo","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1632-4531","authenticated-orcid":false,"given":"Yiran","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Nottingham Ningbo China, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1879-0763","authenticated-orcid":false,"given":"Amin","family":"Farjudian","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Nottingham Ningbo China, China"}]}],"member":"320","published-online":{"date-parts":[[2023,6,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Topics in Banach Space Theory","author":"Albiac Fernando","unstructured":"Fernando Albiac and Nigel\u00a0 J. Kalton . 2006. Topics in Banach Space Theory . Springer . Fernando Albiac and Nigel\u00a0J. Kalton. 2006. Topics in Banach Space Theory. Springer."},{"key":"e_1_3_2_1_2_1","volume-title":"Optimization and Nonsmooth Analysis","author":"Clarke H.","unstructured":"Frank\u00a0 H. Clarke . 1990. Optimization and Nonsmooth Analysis . Society for Industrial and Applied Mathematics . Frank\u00a0H. Clarke. 1990. Optimization and Nonsmooth Analysis. Society for Industrial and Applied Mathematics."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_4_1","article-title":"Smooth Approximation of Lipschitz Maps and Their Subgradients","volume":"69","author":"Edalat Abbas","year":"2021","unstructured":"Abbas Edalat . 2021 . Smooth Approximation of Lipschitz Maps and Their Subgradients . J. ACM 69 , 1 (2021). https:\/\/doi.org\/10.1145\/3481805 10.1145\/3481805 Abbas Edalat. 2021. Smooth Approximation of Lipschitz Maps and Their Subgradients. J. ACM 69, 1 (2021). https:\/\/doi.org\/10.1145\/3481805","journal-title":"J. ACM"},{"key":"e_1_3_2_1_5_1","unstructured":"Abbas Edalat Amin Farjudian and Yiran Li. 2023. Recursive Solution of Initial Value Problems with Temporal Discretization. CoRR abs\/2301.03920(2023). https:\/\/arxiv.org\/abs\/2301.03920  Abbas Edalat Amin Farjudian and Yiran Li. 2023. Recursive Solution of Initial Value Problems with Temporal Discretization. CoRR abs\/2301.03920(2023). https:\/\/arxiv.org\/abs\/2301.03920"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.entcs.2020.09.006","article-title":"Domain Theoretic Second-Order Euler\u2019s Method for Solving Initial Value Problems","volume":"352","author":"Edalat Abbas","year":"2020","unstructured":"Abbas Edalat , Amin Farjudian , Mina Mohammadian , and Dirk Pattinson . 2020 . Domain Theoretic Second-Order Euler\u2019s Method for Solving Initial Value Problems . Electr. Notes in Theoret. Comp. Sci. 352 (2020), 105 \u2013 128 . Abbas Edalat, Amin Farjudian, Mina Mohammadian, and Dirk Pattinson. 2020. Domain Theoretic Second-Order Euler\u2019s Method for Solving Initial Value Problems. Electr. Notes in Theoret. Comp. Sci. 352 (2020), 105\u2013128.","journal-title":"Electr. Notes in Theoret. Comp. Sci."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.11.006"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society, 417\u2013426","author":"Edalat A.","unstructured":"A. Edalat and D. Pattinson . 2005. Inverse and Implicit Functions in Domain Theory . In Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society, 417\u2013426 . A. Edalat and D. Pattinson. 2005. Inverse and Implicit Functions in Domain Theory. In Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society, 417\u2013426."},{"key":"e_1_3_2_1_9_1","volume-title":"Vol.\u00a093","author":"Gierz G.","unstructured":"G. Gierz , K.\u00a0 H. Hofmann , K. Keimel , J.\u00a0 D. Lawson , M.\u00a0 W. Mislove , and D.\u00a0 S. Scott . 2003. Continuous Lattices and Domains. Encycloedia of Mathematics and its Applications , Vol.\u00a093 . Cambridge University Press . G. Gierz, K.\u00a0H. Hofmann, K. Keimel, J.\u00a0D. Lawson, M.\u00a0W. Mislove, and D.\u00a0S. Scott. 2003. Continuous Lattices and Domains. Encycloedia of Mathematics and its Applications, Vol.\u00a093. Cambridge University Press."},{"key":"e_1_3_2_1_10_1","volume-title":"Deep Learning","author":"Goodfellow Ian","unstructured":"Ian Goodfellow , Yoshua Bengio , and Aaron Courville . 2016. Deep Learning . The MIT Press . Ian Goodfellow, Yoshua Bengio, and Aaron Courville. 2016. Deep Learning. The MIT Press."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3294771.3294987"},{"key":"e_1_3_2_1_12_1","unstructured":"Matt Jordan and Alexandros\u00a0G. Dimakis. 2020. Exactly Computing the Local Lipschitz Constant of ReLU Networks. In NeurIPS.  Matt Jordan and Alexandros\u00a0G. Dimakis. 2020. Exactly Computing the Local Lipschitz Constant of ReLU Networks. In NeurIPS."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of ICML","author":"Jordan Matt","year":"2021","unstructured":"Matt Jordan and Alexandros\u00a0 G. Dimakis . 2021 . Provable Lipschitz Certification for Generative Models . In Proceedings of ICML 2021. 5118\u20135126. Matt Jordan and Alexandros\u00a0G. Dimakis. 2021. Provable Lipschitz Certification for Generative Models. In Proceedings of ICML 2021. 5118\u20135126."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 36th International Conference on Machine Learning, Vol.\u00a097","author":"Ko Ching-Yun","year":"2019","unstructured":"Ching-Yun Ko , Zhaoyang Lyu , Lily Weng , Luca Daniel , Ngai Wong , and Dahua Lin . 2019 . POPQORN: Quantifying Robustness of Recurrent Neural Networks . In Proceedings of the 36th International Conference on Machine Learning, Vol.\u00a097 . 3468\u20133477. Ching-Yun Ko, Zhaoyang Lyu, Lily Weng, Luca Daniel, Ngai Wong, and Dahua Lin. 2019. POPQORN: Quantifying Robustness of Recurrent Neural Networks. In Proceedings of the 36th International Conference on Machine Learning, Vol.\u00a097. 3468\u20133477."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. ACM Program. Lang. 6, Article 56","author":"Laurel Jacob","year":"2022","unstructured":"Jacob Laurel , Rem Yang , Gagandeep Singh , and Sasa Misailovic . 2022 . A Dual Number Abstraction for Static Analysis of Clarke Jacobians . Proc. ACM Program. Lang. 6, Article 56 (2022), 30\u00a0pages. https:\/\/doi.org\/10.1145\/3498718 10.1145\/3498718 Jacob Laurel, Rem Yang, Gagandeep Singh, and Sasa Misailovic. 2022. A Dual Number Abstraction for Static Analysis of Clarke Jacobians. Proc. ACM Program. Lang. 6, Article 56 (2022), 30\u00a0pages. https:\/\/doi.org\/10.1145\/3498718"},{"key":"e_1_3_2_1_16_1","volume-title":"DiffRNN: Differential Verification of Recurrent Neural Networks. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 117\u2013134","author":"Mohammadinejad Sara","year":"2021","unstructured":"Sara Mohammadinejad , Brandon Paulsen , Jyotirmoy\u00a0 V Deshmukh , and Chao Wang . 2021 . DiffRNN: Differential Verification of Recurrent Neural Networks. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 117\u2013134 . Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy\u00a0V Deshmukh, and Chao Wang. 2021. DiffRNN: Differential Verification of Recurrent Neural Networks. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 117\u2013134."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1109\/LCSYS.2021.3050444","article-title":"Training Robust Neural Networks Using Lipschitz Bounds","volume":"6","author":"Pauli Patricia","year":"2022","unstructured":"Patricia Pauli , Anne Koch , Julian Berberich , Paul Kohler , and Frank Allg\u00f6wer . 2022 . Training Robust Neural Networks Using Lipschitz Bounds . IEEE Control Systems Letters 6 (2022), 121 \u2013 126 . Patricia Pauli, Anne Koch, Julian Berberich, Paul Kohler, and Frank Allg\u00f6wer. 2022. Training Robust Neural Networks Using Lipschitz Bounds. IEEE Control Systems Letters 6 (2022), 121\u2013126.","journal-title":"IEEE Control Systems Letters"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-6891-y"},{"key":"e_1_3_2_1_19_1","series-title":"IAS\/Park City Mathematics Series","volume-title":"An Introduction to Hyperplane Arrangements","author":"Stanley P.","unstructured":"Richard\u00a0 P. Stanley . 2006. An Introduction to Hyperplane Arrangements . IAS\/Park City Mathematics Series . Richard\u00a0P. Stanley. 2006. An Introduction to Hyperplane Arrangements. IAS\/Park City Mathematics Series."},{"key":"e_1_3_2_1_20_1","unstructured":"Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna Dumitru Erhan Ian Goodfellow and Rob Fergus. 2014. Intriguing properties of neural networks. CoRR abs\/1312.6199(2014).  Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna Dumitru Erhan Ian Goodfellow and Rob Fergus. 2014. Intriguing properties of neural networks. CoRR abs\/1312.6199(2014)."},{"key":"e_1_3_2_1_21_1","volume-title":"NeurIPS","author":"Virmaux Aladin","year":"2018","unstructured":"Aladin Virmaux and Kevin Scaman . 2018. Lipschitz regularity of deep neural networks: analysis and efficient estimation . In NeurIPS 2018 . 3839\u20133848. Aladin Virmaux and Kevin Scaman. 2018. Lipschitz regularity of deep neural networks: analysis and efficient estimation. In NeurIPS 2018. 3839\u20133848."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 27th USENIX Conference on Security Symposium. 1599\u20131614","author":"Wang Shiqi","year":"2018","unstructured":"Shiqi Wang , Kexin Pei , Justin Whitehouse , Junfeng Yang , and Suman Jana . 2018 . Formal Security Analysis of Neural Networks Using Symbolic Intervals . In Proceedings of the 27th USENIX Conference on Security Symposium. 1599\u20131614 . Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana. 2018. Formal Security Analysis of Neural Networks Using Symbolic Intervals. In Proceedings of the 27th USENIX Conference on Security Symposium. 1599\u20131614."},{"key":"e_1_3_2_1_23_1","volume-title":"Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach. In International Conference on Learning Representations.","author":"Weng Tsui-Wei","year":"2018","unstructured":"Tsui-Wei Weng , Huan Zhang , Pin-Yu Chen , Jinfeng Yi , Dong Su , Yupeng Gao , Cho-Jui Hsieh , and Luca Daniel . 2018 . Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach. In International Conference on Learning Representations. Tsui-Wei Weng, Huan Zhang, Pin-Yu Chen, Jinfeng Yi, Dong Su, Yupeng Gao, Cho-Jui Hsieh, and Luca Daniel. 2018. Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach. In International Conference on Learning Representations."},{"key":"e_1_3_2_1_24_1","unstructured":"Can Zhou Razin\u00a0A. Shaikh Yiran Li and Amin Farjudian. 2022. A Domain-Theoretic Framework for Robustness Analysis of Neural Networks. CoRR abs\/2203.00295(2022). https:\/\/arxiv.org\/abs\/2203.00295  Can Zhou Razin\u00a0A. Shaikh Yiran Li and Amin Farjudian. 2022. A Domain-Theoretic Framework for Robustness Analysis of Neural Networks. CoRR abs\/2203.00295(2022). https:\/\/arxiv.org\/abs\/2203.00295"}],"event":{"name":"ICMLSC 2023: 2023 The 7th International Conference on Machine Learning and Soft Computing","location":"Chongqing China","acronym":"ICMLSC 2023"},"container-title":["2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583788.3583795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583788.3583795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:59Z","timestamp":1750178819000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583788.3583795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,5]]},"references-count":24,"alternative-id":["10.1145\/3583788.3583795","10.1145\/3583788"],"URL":"https:\/\/doi.org\/10.1145\/3583788.3583795","relation":{},"subject":[],"published":{"date-parts":[[2023,1,5]]},"assertion":[{"value":"2023-06-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}