{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T20:07:14Z","timestamp":1779307634977,"version":"3.51.4"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T00:00:00Z","timestamp":1732233600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T00:00:00Z","timestamp":1732233600000},"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":["Front. Comput. Sci."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1007\/s11704-024-3902-x","type":"journal-article","created":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T07:44:33Z","timestamp":1732261473000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating constraint-based neural network repairs by example prioritization and selection"],"prefix":"10.1007","volume":"19","author":[{"given":"Long","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuo","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiangzhao","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,22]]},"reference":[{"key":"3902_CR1","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/3453483.3454064","volume-title":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","author":"M Sotoudeh","year":"2021","unstructured":"Sotoudeh M, Thakur A V. Provable repair of deep neural networks. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 2021, 588\u2013603"},{"key":"3902_CR2","first-page":"550","volume-title":"Proceedings of the 31st International Conference on Artificial Neural Networks and Machine Learning","author":"S Sun","year":"2022","unstructured":"Sun S, Yan J, Yan R. Layer-specific repair of neural network classifiers. In: Proceedings of the 31st International Conference on Artificial Neural Networks and Machine Learning. 2022, 550\u2013561"},{"issue":"4","key":"3902_CR3","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/3563210","volume":"32","author":"J Sohn","year":"2023","unstructured":"Sohn J, Kang S, Yoo S. Arachne: search-based repair of deep neural networks. ACM Transactions on Software Engineering and Methodology, 2023, 32(4): 85","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"3902_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/3585005","volume":"32","author":"H Qi","year":"2023","unstructured":"Qi H, Wang Z, Guo Q, Chen J, Juefei-Xu F, Zhang F, Ma L, Zhao J. ArchRepair: block-level architecture-oriented repairing for deep neural networks. ACM Transactions on Software Engineering and Methodology, 2023, 32(5): 129","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"3902_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/3617168","volume":"33","author":"T Li","year":"2024","unstructured":"Li T, Xie X, Wang J, Guo Q, Liu A, Ma L, Liu Y. Faire: repairing fairness of neural networks via neuron condition synthesis. ACM Transactions on Software Engineering and Methodology, 2024, 33(1): 21","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"PLDI","key":"3902_CR6","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/3591238","volume":"7","author":"Z Tao","year":"2023","unstructured":"Tao Z, Nawas S, Mitchell J, Thakur A V. Architecture-preserving provable repair of deep neural networks. Proceedings of the ACM on Programming Languages, 2023, 7(PLDI): 124","journal-title":"Proceedings of the ACM on Programming Languages"},{"issue":"3","key":"3902_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/3630011","volume":"33","author":"J Jiang","year":"2024","unstructured":"Jiang J, Yang J, Zhang Y, Wang Z, You H, Chen J. A post-training framework for improving the performance of deep learning models via model transformation. ACM Transactions on Software Engineering and Methodology, 2024, 33(3): 61","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-024-3902-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-024-3902-x","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-024-3902-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T19:23:49Z","timestamp":1779305029000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-024-3902-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,22]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["3902"],"URL":"https:\/\/doi.org\/10.1007\/s11704-024-3902-x","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,22]]},"assertion":[{"value":"14 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 September 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Competing interests\n                      The authors declare that they have no competing interests or financial conflicts to disclose.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics"}}],"article-number":"194332"}}