{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T20:29:26Z","timestamp":1787084966894,"version":"build-2736575974"},"publisher-location":"Singapore","reference-count":29,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819233939","type":"print"},{"value":"9789819233946","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T00:00:00Z","timestamp":1784332800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T00:00:00Z","timestamp":1784332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-981-92-3394-6_29","type":"book-chapter","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T22:20:43Z","timestamp":1784326843000},"page":"341-353","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating Neural Network Verification via Multi-to-One Dependency Analysis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0046-1830","authenticated-orcid":false,"given":"Kai","family":"Fan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8711-6126","authenticated-orcid":false,"given":"Banghu","family":"Yin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0637-8744","authenticated-orcid":false,"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,18]]},"reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-031-75387-9_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies","author":"A Platzer","year":"2025","unstructured":"Platzer, A.: Intersymbolic ai. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies, pp. 162\u2013180. Springer Nature Switzerland (2025)"},{"key":"29_CR2","unstructured":"C. Szegedy, et al., \u201cIntriguing properties of neural networks,\u201d in International Conference on Learning Representations (ICLR), arXiv preprint https:\/\/arxiv.org\/abs\/1312.6199 (2014)."},{"key":"29_CR3","first-page":"357","volume-title":"Symposium on Usable Privacy and Security (SOUPS 2017)","author":"C Bloom","year":"2017","unstructured":"Bloom, C., Tan, J., Ramjohn, J., Bauer, L.: Self-driving cars and data collection: privacy perceptions of networked autonomous vehicles. In: Symposium on Usable Privacy and Security (SOUPS 2017), pp. 357\u2013375 (2017)"},{"issue":"2","key":"29_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.5206\/mase\/17138","volume":"5","author":"A Begum","year":"2024","unstructured":"Begum, A., Rahman, M.M., Jahan, S.: Medical diagnosis using artificial neural networks. Math. Appl. Sci. Eng. 5(2), 149\u2013164 (2024)","journal-title":"Math. Appl. Sci. Eng."},{"key":"29_CR5","unstructured":"J. P. Inala, et al., \u201cNeurosymbolic transformers for multi-agent communication,\u201d ArXiv, vol. abs\/2101.03238, arXiv preprint 2101.03238 (2021)."},{"issue":"3\u20134","key":"29_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1561\/2400000035","volume":"4","author":"C Liu","year":"2021","unstructured":"Liu, C., Arnon, T., Lazarus, C., Strong, C., Barrett, C., Kochenderfer, M.J.: Algorithms for verifying deep neural networks. Found. Trends Optim. 4(3\u20134), 244\u2013404 (2021)","journal-title":"Found. Trends Optim."},{"key":"29_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/SP.2018.00058","volume-title":"2018 IEEE Symposium on Security and Privacy (SP)","author":"T Gehr","year":"2018","unstructured":"Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.: Ai2: safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE Symposium on Security and Privacy (SP), pp. 3\u201318 (2018)"},{"key":"29_CR8","volume-title":"Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering, ser. ASE \u201822","author":"Z Zhang","year":"2022","unstructured":"Zhang, Z., Wu, Y., Liu, S., Liu, J., Zhang, M.: Provably tightest linear approximation for robustness verification of sigmoid-like neural networks. In: Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering, ser. ASE \u201822. Association for Computing Machinery (2022)"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"N. Pal, D. M. Lopez, and T. T. Johnson, \u201cRobustness verification of deep neural networks using star-based reachability analysis with variable-length time series input,\u201d arXiv preprint 2307.13907 (2023).","DOI":"10.1007\/978-3-031-43681-9_10"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Singh, G., Gehr, T., P\u00fcschel, M., Vechev, M.: An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3(POPL) (2019)","DOI":"10.1145\/3290354"},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-030-53288-8_4","volume-title":"Computer Aided Verification","author":"S Bak","year":"2020","unstructured":"Bak, S., Tran, H.-D., Hobbs, K., Johnson, T.T.: Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. In: Lahiri, S.K., Wang, C. (eds.) Computer Aided Verification, pp. 66\u201396. Springer International Publishing (2020)"},{"key":"29_CR12","first-page":"10 825","volume-title":"Proceedings of the 32nd International Conference on Neural Information Processing Systems, ser. NIPS\u201918","author":"G Singh","year":"2018","unstructured":"Singh, G., Gehr, T., Mirman, M., P\u00fcschel, M., Vechev, M.: Fast and effective robustness certification. In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, ser. NIPS\u201918, pp. 10 825\u201310 836. Curran Associates Inc. (2018)"},{"issue":"04","key":"29_CR13","first-page":"3291","volume":"34","author":"E Botoeva","year":"2020","unstructured":"Botoeva, E., Kouvaros, P., Kronqvist, J., Lomuscio, A., Misener, R.: Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. Proc. AAAI Conf. Artif. Intell. 34(04), 3291\u20133299 (2020)","journal-title":"Proc. AAAI Conf. Artif. Intell."},{"key":"29_CR14","first-page":"2643","volume-title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21)","author":"P Kouvaros","year":"2021","unstructured":"Kouvaros, P., Lomuscio, A.: Towards scalable complete verification of Relu neural networks via dependency-based branching. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), pp. 2643\u20132650 (2021)"},{"issue":"11","key":"29_CR15","doi-asserted-by":"publisher","first-page":"3898","DOI":"10.1109\/TCAD.2022.3197534","volume":"41","author":"B Yin","year":"2022","unstructured":"Yin, B., Chen, L., Liu, J., Wang, J.: Efficient complete verification of neural networks via layerwised splitting and refinement. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 41(11), 3898\u20133909 (2022)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"29_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10107-020-01474-5","volume":"183","author":"R Anderson","year":"2020","unstructured":"Anderson, R., Huchette, J., Ma, W., Tjandraatmadja, C., Vielma, J.P.: Strong mixed-integer programming formulations for trained neural networks. Math. Program. 183, 3\u201339 (2020)","journal-title":"Math. Program."},{"key":"29_CR17","first-page":"289","volume-title":"CPAIOR","author":"H Zhao","year":"2024","unstructured":"Zhao, H., Hijazi, H., Jones, H., Moore, J., Tanneau, M., Van Hentenryck, P.: Bound tightening using rolling-horizon decomposition for neural network verification. In: CPAIOR, pp. 289\u2013303. Springer Nature Switzerland (2024)"},{"key":"29_CR18","unstructured":"V. Tjeng, K. Xiao, and R. Tedrake, \u201cEvaluating robustness of neural networks with mixed integer programming,\u201d arXiv preprint https:\/\/arxiv.org\/abs\/1711.07356 (2019)."},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer, \u201cReluplex: An efficient smt solver for verifying deep neural networks,\u201d arXiv preprint https:\/\/arxiv.org\/abs\/1702.01135 (2017).","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"29_CR20","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-030-25540-4_26","volume-title":"Computer Aided Verification","author":"G Katz","year":"2019","unstructured":"Katz, G., et al.: The marabou framework for verification and analysis of deep neural networks. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification, pp. 443\u2013452. Springer International Publishing (2019)"},{"key":"29_CR21","unstructured":"Krishnamurthy, Dvijotham, R. Stanforth, S. Gowal, T. Mann, and P. Kohli, \u201cA dual approach to scalable verification of deep networks,\u201d arXiv preprint 1803.06567 (2018)."},{"key":"29_CR22","unstructured":"E. Wong and J. Z. Kolter, \u201cProvable defenses against adversarial examples via the convex outer adversarial polytope,\u201d arXiv preprint 1711.00851 (2018)."},{"key":"29_CR23","unstructured":"R. Bunel, et al., \u201cLagrangian decomposition for neural network verification,\u201d arXiv preprint 2002.10410 (2020)."},{"key":"29_CR24","first-page":"6369","volume-title":"Proceedings of the 32nd International Conference on Neural Information Processing Systems, ser. NIPS\u201918","author":"S Wang","year":"2018","unstructured":"Wang, S., Pei, K., Whitehouse, J., Yang, J., Jana, S.: Efficient formal safety analysis of neural networks. In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, ser. NIPS\u201918, pp. 6369\u20136379. Curran Associates Inc. (2018)"},{"key":"29_CR25","unstructured":"H. Zhang, T.-W. Weng, P.-Y. Chen, C.-J. Hsieh, and L. Daniel, \u201cEfficient neural network robustness certification with general activation functions,\u201d arXiv preprint 1811.00866 (2018)."},{"key":"29_CR26","unstructured":"K. Xu, et al., \u201cFast and complete: enabling complete neural network verification with rapid and massively parallel incomplete verifiers,\u201d arXiv preprint 2011.13824 (2021)."},{"key":"29_CR27","volume-title":"Betacrown: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network robustness verification","author":"S Wang","year":"2021","unstructured":"S. Wang, et al., \u201cBetacrown: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network robustness verification.,\u201d arXiv preprint 2103.06624 (2021)."},{"key":"29_CR28","first-page":"1","volume-title":"2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC)","author":"KD Julian","year":"2016","unstructured":"Julian, K.D., Lopez, J., Brush, J.S., Owen, M.P., Kochenderfer, M.J.: Policy compression for aircraft collision avoidance systems. In: 2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC), pp. 1\u201310 (2016)"},{"key":"29_CR29","doi-asserted-by":"crossref","unstructured":"Casadio, M., et al.: NLP verification: towards a general methodology for certifying robustness. Eur. J. Appl. Math., 1\u201358 (2025)","DOI":"10.1017\/S0956792525000099"}],"container-title":["Lecture Notes in Computer Science","Advanced Intelligent Computing Technology and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-3394-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T19:57:35Z","timestamp":1787083055000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-3394-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,18]]},"ISBN":["9789819233939","9789819233946"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-3394-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,18]]},"assertion":[{"value":"18 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icic2026a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ic-icc.cn\/2026\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}