{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:56:47Z","timestamp":1742929007330,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031651113"},{"type":"electronic","value":"9783031651120"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-65112-0_8","type":"book-chapter","created":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T20:21:48Z","timestamp":1721161308000},"page":"156-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Provable Repair of\u00a0Vision Transformers"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-1506-2853","authenticated-orcid":false,"given":"Stephanie","family":"Nawas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4047-699X","authenticated-orcid":false,"given":"Zhe","family":"Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3166-1517","authenticated-orcid":false,"given":"Aditya V.","family":"Thakur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,17]]},"reference":[{"key":"8_CR1","unstructured":"Balunovic, M., Vechev, M.: Adversarial training and provable defenses: bridging the gap. In: International Conference on Learning Representations (2019)"},{"key":"8_CR2","unstructured":"Bojarski, M., et al.: End to end learning for self-driving cars. CoRR abs\/1604.07316 (2016). http:\/\/arxiv.org\/abs\/1604.07316"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Bonaert, G., Dimitrov, D.I., Baader, M., Vechev, M.: Fast and precise certification of transformers. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI 2021, pp. 466\u2013481. Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3453483.3454056","DOI":"10.1145\/3453483.3454056"},{"key":"8_CR4","unstructured":"Deng, J., Berg, A., Satheesh, S., Su, H., Khosla, A., Li, F.F.: Imagenet large scale visual recognition challenge 2012 (ilsvrc2012) (2012). https:\/\/www.image-net.org\/challenges\/LSVRC\/2012\/"},{"key":"8_CR5","unstructured":"Dosovitskiy, A., et al.: An image is worth 16x16 words: transformers for image recognition at scale. In: International Conference on Learning Representations (2021). https:\/\/openreview.net\/forum?id=YicbFdNTTy"},{"key":"8_CR6","unstructured":"Fu, F., Li, W.: Sound and complete neural network repair with minimality and locality guarantees. In: International Conference on Learning Representations (2022). https:\/\/openreview.net\/forum?id=xS8AMYiEav3"},{"key":"8_CR7","unstructured":"Goldberger, B., Katz, G., Adi, Y., Keshet, J.: Minimal modifications of deep neural networks using verification. In: LPAR, vol.\u00a02020, p.\u00a023 (2020)"},{"key":"8_CR8","unstructured":"Gonzales, R.: Feds say self-driving Uber SUV did not recognize jaywalking pedestrian in fatal crash. NPR (2019). https:\/\/www.npr.org\/2019\/11\/07\/777438412\/feds-say-self-driving-uber-suv-did-not-recognize-jaywalking-pedestrian-in-fatal-. Accessed 16 Nov 2023"},{"key":"8_CR9","unstructured":"Gurobi Optimization, LLC: Gurobi Optimizer Reference Manual (2023). https:\/\/www.gurobi.com"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Deep residual learning for image recognition. In: 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), pp. 770\u2013778 (2016) https:\/\/doi.org\/10.1109\/CVPR.2016.90","DOI":"10.1109\/CVPR.2016.90"},{"key":"8_CR11","unstructured":"Hendrycks, D., Dietterich, T.G.: Benchmarking neural network robustness to common corruptions and surface variations. arXiv preprint arXiv:1807.01697 (2018)"},{"key":"8_CR12","unstructured":"Huang, Z., Shen, Y., Zhang, X., Zhou, J., Rong, W., Xiong, Z.: Transformer-patcher: one mistake worth one neuron. In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, 1\u20135 May 2023. OpenReview.net (2023). https:\/\/openreview.net\/pdf?id=4oYUGeGBPm"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Kemker, R., McClure, M., Abitino, A., Hayes, T.L., Kanan, C.: Measuring catastrophic forgetting in neural networks. In: McIlraith, S.A., Weinberger, K.Q. (eds.) Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, 2\u20137 February 2018, pp. 3390\u20133398. AAAI Press (2018). https:\/\/doi.org\/10.1609\/aaai.v32i1.11651","DOI":"10.1609\/aaai.v32i1.11651"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Kermany, D.S., et al.: Identifying medical diagnoses and treatable diseases by image-based deep learning. Cell 172(5) (2018). https:\/\/doi.org\/10.1016\/j.cell.2018.02.010, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0092867418301545","DOI":"10.1016\/j.cell.2018.02.010"},{"key":"8_CR15","unstructured":"Lee, D.: US opens investigation into Tesla after fatal crash. BBC (2016). https:\/\/www.bbc.co.uk\/news\/technology-36680043. Accessed 16 Nov 2023"},{"key":"8_CR16","unstructured":"Meng, K., Bau, D., Andonian, A., Belinkov, Y.: Locating and editing factual associations in GPT. In: NeurIPS (2022). http:\/\/papers.nips.cc\/paper_files\/paper\/2022\/hash\/6f1d43d5a82a37e89b0665b33bf3a182-Abstract-Conference.html"},{"key":"8_CR17","unstructured":"Meng, K., Sharma, A.S., Andonian, A.J., Belinkov, Y., Bau, D.: Mass-editing memory in a transformer. In: The Eleventh International Conference on Learning Representations. ICLR 2023, Kigali, Rwanda, 1\u20135 May 2023. OpenReview.net (2023). https:\/\/openreview.net\/pdf?id=MkbcAHIYgyS"},{"key":"8_CR18","unstructured":"Mitchell, E., Lin, C., Bosselut, A., Manning, C.D., Finn, C.: Memory-based model editing at scale. In: Chaudhuri, K., Jegelka, S., Song, L., Szepesvari, C., Niu, G., Sabato, S. (eds.) Proceedings of the 39th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a0162, pp. 15817\u201315831. PMLR, 17\u201323 July 2022. https:\/\/proceedings.mlr.press\/v162\/mitchell22a.html"},{"key":"8_CR19","unstructured":"M\u00fcller, M.N., Eckert, F., Fischer, M., Vechev, M.T.: Certified training: small boxes are all you need. In: The Eleventh International Conference on Learning Representations. ICLR 2023, Kigali, Rwanda, 1\u20135 May 2023. OpenReview.net (2023). https:\/\/openreview.net\/pdf?id=7oFuxtJtUMH"},{"key":"8_CR20","unstructured":"Paszke, A., et al.: Pytorch: an imperative style, high-performance deep learning library, pp. 8024\u20138035 (2019). https:\/\/proceedings.neurips.cc\/paper\/2019\/hash\/bdbca288fee7f92f2bfa9f7012727740-Abstract.html"},{"key":"8_CR21","unstructured":"Shi, Z., Zhang, H., Chang, K., Huang, M., Hsieh, C.: Robustness verification for transformers. In: 8th International Conference on Learning Representations. ICLR 2020, Addis Ababa, Ethiopia, 26\u201330 April 2020. OpenReview.net (2020). https:\/\/openreview.net\/forum?id=BJxwPJHFwS"},{"key":"8_CR22","unstructured":"Simonyan, K., Zisserman, A.: Very deep convolutional networks for large-scale image recognition. In: Bengio, Y., LeCun, Y. (eds.) 3rd International Conference on Learning Representations. ICLR 2015, San Diego, CA, USA, 7\u20139 May 2015, Conference Track Proceedings (2015). http:\/\/arxiv.org\/abs\/1409.1556"},{"key":"8_CR23","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), 1\u201330 (2019)","DOI":"10.1145\/3290354"},{"key":"8_CR24","unstructured":"Sotoudeh, M., Thakur, A.V.: Correcting deep neural networks with small, generalizing patches. In: NeurIPS 2019 Workshop on Safety and Robustness in Decision Making (2019)"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Sotoudeh, M., Thakur, A.V.: Provable repair of deep neural networks. In: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI). ACM (2021). https:\/\/doi.org\/10.1145\/3453483.3454064","DOI":"10.1145\/3453483.3454064"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Tao, Z., Nawas, S., Mitchell, J., Thakur, A.V.: Architecture-preserving provable repair of deep neural networks. Proc. ACM Program. Lang. 7(PLDI) (2023). https:\/\/doi.org\/10.1145\/3591238","DOI":"10.1145\/3591238"},{"key":"8_CR27","unstructured":"Touvron, H., Cord, M., Douze, M., Massa, F., Sablayrolles, A., Jegou, H.: Training data-efficient image transformers & distillation through attention. In: Meila, M., Zhang, T. (eds.) Proceedings of the 38th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a0139, pp. 10347\u201310357. PMLR, 18\u201324 July 2021. https:\/\/proceedings.mlr.press\/v139\/touvron21a.html"},{"key":"8_CR28","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Advances in Neural Information Processing Systems, vol. 30 (2017)"}],"container-title":["Lecture Notes in Computer Science","AI Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-65112-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T20:23:36Z","timestamp":1721161416000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-65112-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031651113","9783031651120"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-65112-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"17 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAIV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on AI Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Montreal, QC","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"saiv2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.aiverification.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}