{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T01:40:08Z","timestamp":1789177208678,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Ministry of Education, Singapore","award":["MOET32020-0004"],"award-info":[{"award-number":["MOET32020-0004"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680322","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"806-818","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Certified Continual Learning for Neural Network Regression"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2242-9564","authenticated-orcid":false,"given":"Long H.","family":"Pham","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3545-1392","authenticated-orcid":false,"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978318"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2020.11.050"},{"key":"e_1_3_2_1_3_1","volume-title":"8th International Conference on Learning Representations (ICLR 2020)","author":"Balunovi\u0107 Mislav","year":"2020","unstructured":"Mislav Balunovi\u0107 and Martin Vechev. 2020. Adversarial training and provable defenses: Bridging the gap. In 8th International Conference on Learning Representations (ICLR 2020)(virtual)."},{"key":"e_1_3_2_1_4_1","volume-title":"Davide Del Testa","author":"Bojarski Mariusz","year":"2016","unstructured":"Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, and Jiakai Zhang. 2016. End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316."},{"key":"e_1_3_2_1_5_1","unstructured":"Tom B. Brown Benjamin Mann Nick Ryder Melanie Subbiah Jared Kaplan Prafulla Dhariwal Arvind Neelakantan Pranav Shyam Girish Sastry Amanda Askell Sandhini Agarwal Ariel Herbert-Voss Gretchen Krueger Tom Henighan Rewon Child Aditya Ramesh Daniel M. Ziegler Jeffrey Wu Clemens Winter Christopher Hesse Mark Chen Eric Sigler Mateusz Litwin Scott Gray Benjamin Chess Jack Clark Christopher Berner Sam McCandlish Alec Radford Ilya Sutskever and Dario Amodei. 2020. Language Models are Few-Shot Learners. arxiv:2005.14165."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963594"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the IEEE\/CVF conference on computer vision and pattern recognition workshops. 254\u2013255","author":"Doshi Keval","year":"2020","unstructured":"Keval Doshi and Yasin Yilmaz. 2020. Continual learning for anomaly detection in surveillance videos. In Proceedings of the IEEE\/CVF conference on computer vision and pattern recognition workshops. 254\u2013255."},{"key":"e_1_3_2_1_10_1","unstructured":"Krishnamurthy Dvijotham Sven Gowal Robert Stanforth Relja Arandjelovic Brendan O\u2019Donoghue Jonathan Uesato and Pushmeet Kohli. 2018. Training verified learners with learned verifiers. arXiv preprint arXiv:1805.10265."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_1_13_1","volume-title":"LPAR.","author":"Goldberger Ben","year":"2020","unstructured":"Ben Goldberger, Guy Katz, Yossi Adi, and Joseph Keshet. 2020. Minimal Modifications of Deep Neural Networks using Verification.. In LPAR. 2020, 23rd."},{"key":"e_1_3_2_1_14_1","unstructured":"Ian J Goodfellow Jonathon Shlens and Christian Szegedy. 2014. Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572."},{"key":"e_1_3_2_1_15_1","unstructured":"Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin Jonathan Uesato Relja Arandjelovic Timothy Mann and Pushmeet Kohli. 2018. On the effectiveness of interval bound propagation for training verifiably robust models. arXiv preprint arXiv:1810.12715."},{"key":"e_1_3_2_1_16_1","volume-title":"Formal guarantees on the robustness of a classifier against adversarial manipulation. Advances in neural information processing systems, 30","author":"Hein Matthias","year":"2017","unstructured":"Matthias Hein and Maksym Andriushchenko. 2017. Formal guarantees on the robustness of a classifier against adversarial manipulation. Advances in neural information processing systems, 30 (2017)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_18_1","volume-title":"CAV","author":"Katz Guy","year":"2017","unstructured":"Guy Katz, Clark Barrett, David L Dill, Kyle Julian, and Mykel J Kochenderfer. 2017. Reluplex: An efficient SMT solver for verifying deep neural networks. In CAV 2017. 97\u2013117."},{"key":"e_1_3_2_1_19_1","volume-title":"Fearnet: Brain-inspired model for incremental learning. arXiv preprint arXiv:1711.10563.","author":"Kemker Ronald","year":"2017","unstructured":"Ronald Kemker and Christopher Kanan. 2017. Fearnet: Brain-inspired model for incremental learning. arXiv preprint arXiv:1711.10563."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1611835114"},{"key":"e_1_3_2_1_21_1","unstructured":"Alexey Kurakin Ian Goodfellow and Samy Bengio. 2016. Adversarial machine learning at scale. arXiv preprint arXiv:1611.01236."},{"key":"e_1_3_2_1_22_1","volume-title":"2019 IEEE Symposium on Security and Privacy (SP). 656\u2013672","author":"Lecuyer Mathias","year":"2019","unstructured":"Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, and Suman Jana. 2019. Certified robustness to adversarial examples with differential privacy. In 2019 IEEE Symposium on Security and Privacy (SP). 656\u2013672."},{"key":"e_1_3_2_1_23_1","volume-title":"Learning without forgetting","author":"Li Zhizhong","year":"2017","unstructured":"Zhizhong Li and Derek Hoiem. 2017. Learning without forgetting. IEEE transactions on pattern analysis and machine intelligence, 40, 12 (2017), 2935\u20132947."},{"key":"e_1_3_2_1_24_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 1187\u20131199","author":"Li Zenan","year":"2023","unstructured":"Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, and Jian L\u00fc. 2023. Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 1187\u20131199."},{"key":"e_1_3_2_1_25_1","unstructured":"Aleksander Madry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras and Adrian Vladu. 2017. Towards deep learning models resistant to adversarial attacks. arXiv preprint arXiv:1706.06083."},{"key":"e_1_3_2_1_26_1","volume-title":"Psychology of learning and motivation. 24","author":"McCloskey Michael","unstructured":"Michael McCloskey and Neal J Cohen. 1989. Catastrophic interference in connectionist networks: The sequential learning problem. In Psychology of learning and motivation. 24, Elsevier, 109\u2013165."},{"key":"e_1_3_2_1_27_1","volume-title":"ICML","author":"Mirman Matthew","year":"2018","unstructured":"Matthew Mirman, Timon Gehr, and Martin Vechev. 2018. Differentiable abstract interpretation for provably robust neural networks. In ICML 2018. 3578\u20133586."},{"key":"e_1_3_2_1_28_1","unstructured":"Cuong V Nguyen Yingzhen Li Thang D Bui and Richard E Turner. 2017. Variational continual learning. arXiv preprint arXiv:1710.10628."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Omkar M Parkhi Andrea Vedaldi and Andrew Zisserman. 2015. Deep face recognition.","DOI":"10.5244\/C.29.41"},{"key":"e_1_3_2_1_30_1","volume-title":"SOCRATES: Towards a Unified Platform for Neural Network Verification. arXiv preprint arXiv:2007.11206.","author":"Pham Long H.","year":"2020","unstructured":"Long H. Pham, Jiaying Li, and Jun Sun. 2020. SOCRATES: Towards a Unified Platform for Neural Network Verification. arXiv preprint arXiv:2007.11206."},{"key":"e_1_3_2_1_31_1","volume-title":"Pham and Jun Sun","author":"Long","year":"2022","unstructured":"Long H. Pham and Jun Sun. 2022. Verifying Neural Networks Against Backdoor Attacks. In Computer Aided Verification."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.21523611.v1"},{"key":"e_1_3_2_1_33_1","unstructured":"Aditi Raghunathan Jacob Steinhardt and Percy Liang. 2018. Certified defenses against adversarial examples. arXiv preprint arXiv:1801.09344."},{"key":"e_1_3_2_1_34_1","volume-title":"Connectionist models of recognition memory: constraints imposed by learning and forgetting functions.. Psychological review, 97, 2","author":"Ratcliff Roger","year":"1990","unstructured":"Roger Ratcliff. 1990. Connectionist models of recognition memory: constraints imposed by learning and forgetting functions.. Psychological review, 97, 2 (1990), 285."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.587"},{"key":"e_1_3_2_1_36_1","volume-title":"Online structured laplace approximations for overcoming catastrophic forgetting. Advances in Neural Information Processing Systems, 31","author":"Ritter Hippolyt","year":"2018","unstructured":"Hippolyt Ritter, Aleksandar Botev, and David Barber. 2018. Online structured laplace approximations for overcoming catastrophic forgetting. Advances in Neural Information Processing Systems, 31 (2018)."},{"key":"e_1_3_2_1_37_1","volume-title":"Experience replay for continual learning. Advances in Neural Information Processing Systems, 32","author":"Rolnick David","year":"2019","unstructured":"David Rolnick, Arun Ahuja, Jonathan Schwarz, Timothy Lillicrap, and Gregory Wayne. 2019. Experience replay for continual learning. Advances in Neural Information Processing Systems, 32 (2019)."},{"key":"e_1_3_2_1_38_1","unstructured":"Andrei A Rusu Neil C Rabinowitz Guillaume Desjardins Hubert Soyer James Kirkpatrick Koray Kavukcuoglu Razvan Pascanu and Raia Hadsell. 2016. Progressive neural networks. arXiv preprint arXiv:1606.04671."},{"key":"e_1_3_2_1_39_1","volume-title":"Jaehong Kim, and Jiwon Kim.","author":"Shin Hanul","year":"2017","unstructured":"Hanul Shin, Jung Kwon Lee, Jaehong Kim, and Jiwon Kim. 2017. Continual learning with deep generative replay. Advances in neural information processing systems, 30 (2017)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.368"},{"key":"e_1_3_2_1_41_1","volume-title":"NeurIPS","author":"Singh Gagandeep","year":"2019","unstructured":"Gagandeep Singh, Rupanshu Ganvir, Markus P\u00fcschel, and Martin Vechev. 2019. Beyond the single neuron convex barrier for neural network certification. In NeurIPS 2019. 15098\u201315109."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"e_1_3_2_1_43_1","volume-title":"Workshop on safety and robustness in decision making.","author":"Sotoudeh Matthew","year":"2019","unstructured":"Matthew Sotoudeh and A Thakur. 2019. Correcting deep neural networks with small, generalizing patches. In Workshop on safety and robustness in decision making."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454064"},{"key":"e_1_3_2_1_45_1","volume-title":"International Symposium on Formal Methods. 83\u2013102","author":"Sun Bing","year":"2021","unstructured":"Bing Sun, Jun Sun, Ting Dai, and Lijun Zhang. 2021. Probabilistic verification of neural networks against group fairness. In International Symposium on Formal Methods. 83\u2013102."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510080"},{"key":"e_1_3_2_1_47_1","unstructured":"Vincent Tjeng Kai Xiao and Russ Tedrake. 2017. Evaluating robustness of neural networks with mixed integer programming. arXiv preprint arXiv:1711.07356."},{"key":"e_1_3_2_1_48_1","volume-title":"2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 1111\u20131121","author":"Tokui Shogo","year":"2022","unstructured":"Shogo Tokui, Susumu Tokumoto, Akihito Yoshii, Fuyuki Ishikawa, Takao Nakagawa, Kazuki Munakata, and Shinji Kikuchi. 2022. Neurecover: Regression-controlled repair of deep neural networks with training history. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 1111\u20131121."},{"key":"e_1_3_2_1_49_1","unstructured":"Hoang-Dung Tran Stanley Bak Weiming Xiang and Taylor T Johnson. 2020. Verification of Deep Convolutional Neural Networks Using ImageStars. arXiv preprint arXiv:2004.05511."},{"key":"e_1_3_2_1_50_1","volume-title":"FM 2019. 670\u2013686","author":"Tran Hoang-Dung","year":"2019","unstructured":"Hoang-Dung Tran, Diago Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T Johnson. 2019. Star-based reachability analysis of deep neural networks. In FM 2019. 670\u2013686."},{"key":"e_1_3_2_1_51_1","volume-title":"Proceedings of the ACM on Programming Languages, 6, OOPSLA1","author":"Ugare Shubham","year":"2022","unstructured":"Shubham Ugare, Gagandeep Singh, and Sasa Misailovic. 2022. Proof transfer for fast certification of multiple approximate neural networks. Proceedings of the ACM on Programming Languages, 6, OOPSLA1 (2022), 1\u201329."},{"key":"e_1_3_2_1_52_1","volume-title":"International Conference on Computer Aided Verification. 3\u201325","author":"Usman Muhammad","year":"2021","unstructured":"Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, and Corina S P\u0103s\u0103reanu. 2021. NN repair: Constraint-Based Repair of Neural Network Classifiers. In International Conference on Computer Aided Verification. 3\u201325."},{"key":"e_1_3_2_1_53_1","unstructured":"Gido M Van de Ven and Andreas S Tolias. 2018. Generative replay with feedback connections as a general strategy for continual learning. arXiv preprint arXiv:1809.10635."},{"key":"e_1_3_2_1_54_1","unstructured":"Gido M Van de Ven and Andreas S Tolias. 2019. Three scenarios for continual learning. arXiv preprint arXiv:1904.07734."},{"key":"e_1_3_2_1_55_1","volume-title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification. Advances in Neural Information Processing Systems, 34","author":"Wang Shiqi","year":"2021","unstructured":"Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, and J Zico Kolter. 2021. Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification. Advances in Neural Information Processing Systems, 34 (2021)."},{"key":"e_1_3_2_1_56_1","volume-title":"International Conference on Machine Learning. 5286\u20135295","author":"Wong Eric","year":"2018","unstructured":"Eric Wong and Zico Kolter. 2018. Provable defenses against adversarial examples via the convex outer adversarial polytope. In International Conference on Machine Learning. 5286\u20135295."},{"key":"e_1_3_2_1_57_1","unstructured":"Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin and Cho-Jui Hsieh. 2021. Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=nVZtXBI6LNn"},{"key":"e_1_3_2_1_58_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 82\u201394","author":"You Hanmo","year":"2023","unstructured":"Hanmo You, Zan Wang, Junjie Chen, Shuang Liu, and Shuochuan Li. 2023. Regression fuzzing for deep learning systems. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 82\u201394."},{"key":"e_1_3_2_1_59_1","unstructured":"Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Bo Li Suman Jana Cho-Jui Hsieh and J Zico Kolter. 2022. General Cutting Planes for Bound-Propagation-Based Neural Network Verification. Advances in Neural Information Processing Systems."},{"key":"e_1_3_2_1_60_1","first-page":"4939","article-title":"Efficient Neural Network Robustness Certification with General Activation Functions","volume":"31","author":"Zhang Huan","year":"2018","unstructured":"Huan Zhang, Tsui-Wei Weng, Pin-Yu Chen, Cho-Jui Hsieh, and Luca Daniel. 2018. Efficient Neural Network Robustness Certification with General Activation Functions. Advances in Neural Information Processing Systems, 31 (2018), 4939\u20134948. arxiv:1811.00866","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380331"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680322","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:07Z","timestamp":1750287007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680322"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":61,"alternative-id":["10.1145\/3650212.3680322","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680322","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}