{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T07:10:40Z","timestamp":1771657840092,"version":"3.50.1"},"reference-count":45,"publisher":"Zhejiang University Press","issue":"10","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"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 Inform Technol Electron Eng"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1631\/fitee.2300059","type":"journal-article","created":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T23:28:13Z","timestamp":1699313293000},"page":"1375-1389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards robust neural networks via a global and monotonically decreasing robustness training strategy","\u57fa\u4e8e\u5168\u5c40\u548c\u5355\u8c03\u9012\u51cf\u9c81\u68d2\u6027\u7b56\u7565\u7684\u9c81\u68d2\u795e\u7ecf\u7f51\u7edc\u8bad\u7ec3\u65b9\u6cd5"],"prefix":"10.1631","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1171-7061","authenticated-orcid":false,"given":"Zhen","family":"Liang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taoran","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2315-1704","authenticated-orcid":false,"given":"Wanwei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bai","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenjing","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhengbin","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"635","published-online":{"date-parts":[[2023,11,7]]},"reference":[{"key":"ref1","article-title":"Certifying geometric robustness of neural networks","volume-title":"Proc 33rd Int Conf on Neural Information Processing Systems","author":"Balunovi\u0107","year":"2019"},{"key":"ref2","volume-title":"End to end learning for self-driving cars","author":"Bojarski","year":"2016"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-13185-1_11"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/cvpr46437.2021.01549"},{"key":"ref5","first-page":"1310","article-title":"Certified adversarial robustness via randomized smoothing","volume-title":"Proc 36th Int Conf on Machine Learning","author":"Cohen","year":"2019"},{"key":"ref6","first-page":"4171","article-title":"BERT: pre-training of deep bidirectional transformers for language understanding","volume-title":"Proc Conf of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","author":"Devlin","year":"2018"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484538"},{"key":"ref8","volume-title":"Pattern Classification","author":"Duda","year":"2001"},{"key":"ref9","author":"Dvijotham","year":"2018","journal-title":"Training verified learners with learned verifiers"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref11","article-title":"Explaining and harnessing adversarial examples","author":"Goodfellow","year":"2015","journal-title":"Proc 3rd Int Conf on Learning Representations"},{"key":"ref12","author":"Gowal","year":"2018","journal-title":"On the effectiveness of interval bound propagation for training verifiably robust models"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/issre52982.2021.00044"},{"key":"ref14","first-page":"2266","article-title":"Formal guarantees on the robustness of a classifier against adversarial manipulation","author":"Hein","year":"2017","journal-title":"Proc 31st Int Conf on Neural Information Processing Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-13453-2_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref17","first-page":"3468","article-title":"POPQORN: quantifying robustness of recurrent neural networks","author":"Ko","year":"2019","journal-title":"Proc 36th Int Conf on Machine Learning"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/sp.2019.00044"},{"key":"ref19","first-page":"6212","article-title":"Globally-robust neural networks","volume-title":"Proc 38th Int Conf on Machine Learning","author":"Leino","year":"2021"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_15"},{"issue":"1","key":"ref21","first-page":"78","article-title":"Advances and prospects of training methods for robust neural networks","volume-title":"Sci Technol Fores","volume":"2","author":"Liang","year":"2023"},{"key":"ref22","volume-title":"Abstraction and refinement: towards scalable and exact verification of neural networks","author":"Liu","year":"2022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-020-0546-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238202"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.06083"},{"key":"ref26","first-page":"3575","article-title":"Differentiable abstract interpretation for provably robust neural networks","author":"Mirman","year":"2018","journal-title":"Proc 35th Int Conf on Machine Learning"},{"key":"ref27","volume-title":"Machine Learning: a Probabilistic Perspective","author":"Murphy","year":"2012"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_10"},{"key":"ref29","article-title":"A convex relaxation barrier to tight robust verification of neural networks","author":"Salman","year":"2019","journal-title":"Proc 33rd Int Conf on Neural Information Processing Systems"},{"key":"ref30","first-page":"10825","article-title":"Fast and effective robustness certification","author":"Singh","year":"2018","journal-title":"Proc 32nd Int Conf on Neural Information Processing Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1364\/ao.432397"},{"key":"ref34","article-title":"Evaluating robustness of neural networks with mixed integer programming","volume-title":"Proc 7th Int Conf on Learning Representations","author":"Tjeng","year":"2019"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_39"},{"key":"ref36","first-page":"6369","article-title":"Efficient formal safety analysis of neural networks","author":"Wang","year":"2018a","journal-title":"Proc 32nd Int Conf on Neural Information Processing Systems"},{"key":"ref37","volume-title":"MixTrain: scalable training of formally robust neural networks","author":"Wang","year":"2018b"},{"key":"ref38","article-title":"Evaluating the robustness of neural networks: an extreme value theory approach","author":"Weng","year":"2018a","journal-title":"Proc 6th Int Conf on Learning Representations"},{"key":"ref39","first-page":"5273","article-title":"Towards fast computation of certified robustness for ReLU networks","author":"Weng","year":"2018b","journal-title":"Proc 35th Int Conf on Machine Learning"},{"key":"ref40","first-page":"8410","article-title":"Scaling provable adversarial defenses","volume-title":"Proc 32nd Int Conf on Neural Information Processing Systems","author":"Wong","year":"2018"},{"key":"ref41","article-title":"Training for faster adversarial robustness verification via inducing ReLU stability","author":"Xiao","year":"2019","journal-title":"Proc 7th Int Conf on Learning Representations"},{"key":"ref42","first-page":"4944","article-title":"Efficient neural network robustness certification with general activation functions","author":"Zhang","year":"2018","journal-title":"Proc 32nd Int Conf on Neural Information Processing Systems"},{"key":"ref43","article-title":"Towards stable and efficient training of verifiably robust neural networks","author":"Zhang","year":"2020","journal-title":"Proc 8th Int Conf on Learning Representations"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556916"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-22308-2_20"}],"container-title":["Frontiers of Information Technology &amp; Electronic Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.2300059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1631\/FITEE.2300059\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.2300059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T06:37:00Z","timestamp":1771655820000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1631\/FITEE.2300059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10]]},"references-count":45,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["1948"],"URL":"https:\/\/doi.org\/10.1631\/fitee.2300059","relation":{},"ISSN":["2095-9184","2095-9230"],"issn-type":[{"value":"2095-9184","type":"print"},{"value":"2095-9230","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10]]},"assertion":[{"value":"1 February 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 April 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 November 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Ji WANG is an editorial board member of <i>Frontiers of Information Technology & Electronic Engineering<\/i>, and he was not involved with the peer review process of this paper. Zhen LIANG, Taoran WU, Wanwei LIU, Bai XUE, Wenjing YANG, Ji WANG, and Zhengbin PANG declare that they have no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethics guidelines"}}]}}